Typed formal model for WS-CDL specification of web services composition

被引：0
|
作者：
Gu, Xiwu [1 ]
Li, Ruixuan [1 ]
Lu, Zhengding [1 ]
机构：
[1] College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074, China
来源：
Journal of Southeast University (English Edition) | 2008年 / 24卷 / 03期
关键词：
Description languages - Mapping rules - Merging algorithms - Operational semantics - Run-time errors - Set extension - Typing rules - Web services composition;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：300 / 307
相关论文
共 50 条
  • [1] A formal model for Web Service Choreography Description Language (WS-CDL)
    Yang, Hongli
    Zhao, Xiangpeng
    Qiu, Zongyan
    Pu, Geguang
    Wang, Shuling
    ICWS 2006: IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2006, : 893 - +
  • [2] Formal specification and validation of refinement from WS-CDL to BPEL
    Salah-Mansour, Khadidja
    Hammal, Youcef
    Mokdad, Lynda
    2019 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2019, : 1016 - 1021
  • [3] A model checker for WS-CDL
    Wang, Hongbing
    Kang, Zuling
    Zhou, Ning
    Li, Li
    JOURNAL OF SYSTEMS AND SOFTWARE, 2010, 83 (10) : 1651 - 1661
  • [4] CDLVT: A Formal Verification Tool of Non-Functional Properties for WS-CDL specification
    Rebai, Sirine
    Kacem, Hatem Hadj
    Karaa, Mohamed
    Pomares, Saul E.
    Kacem, Ahmed Hadj
    2015 IEEE 24TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES - INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, 2015, : 191 - 196
  • [5] A formal framework for WS-CDL based on process algebra
    Li, Shenghong
    Miao, Huaikou
    Journal of Information and Computational Science, 2009, 6 (01): : 497 - 505
  • [6] WS-CDL+: An extended WS-CDL execution engine for web service collaboration
    Kang, Zuling
    Wang, Hongbing
    Hung, Patrick C. K.
    2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2007, : 928 - +
  • [7] Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies
    Khaled, Adel
    Miller, James
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2017, 10 (02) : 316 - 327
  • [8] Formal Specification of Web Services Composition
    Bachtarzi, Faycal
    Chaoui, Allaoua
    2013 IEEE SYMPOSIUM ON WIRELESS TECHNOLOGY & APPLICATIONS (ISWTA2013), 2013, : 34 - 39
  • [9] MODEL AND VERIFICATION OF WS-CDL BASED ON UML DIAGRAMS
    Zhang, Pengcheng
    Muccini, Henry
    Zhu, Yuelong
    Li, Bixin
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2010, 20 (08) : 1119 - 1149
  • [10] Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
    Tasharofi, Samira
    Sirjani, Marjan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 229 (02) : 155 - 174
12345