A formal framework for WS-CDL based on process algebra

被引：0
|
作者：
Li, Shenghong [1 ,2 ]
Miao, Huaikou [1 ]
机构：
[1] School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China
[2] School of Information and Technology, Jiangxi University of Finance and Economics, Nanchang 330013, China
来源：
Journal of Information and Computational Science | 2009年 / 6卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：497 / 505
相关论文
共 50 条
  • [1] Modeling the Patterns of WS-CDL Interactions Based on Process Algebra
    Li, Shenghong
    Miao, Huaikou
    2008 INTERNATIONAL SEMINAR ON FUTURE INFORMATION TECHNOLOGY AND MANAGEMENT ENGINEERING, PROCEEDINGS, 2008, : 222 - 227
  • [2] Modeling the Work Unit of WS-CDL Based on Process Algebra
    Li, Shenghong
    2009 INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN COMPUTER SCIENCE, ICRCCS 2009, 2009, : 149 - 152
  • [3] Towards a Type Theory of WS-CDL Based on Process Algebra
    Miao, Huaikou
    Li, Shenghong
    ICMECG: 2009 INTERNATIONAL CONFERENCE ON MANAGEMENT OF E-COMMERCE AND E-GOVERNMENT, PROCEEDINGS, 2009, : 380 - +
  • [4] A metrics framework for a WS-CDL process under evolution
    Rachna Kohar
    N. Parimala
    International Journal of System Assurance Engineering and Management, 2020, 11 : 865 - 882
  • [5] A metrics framework for a WS-CDL process under evolution
    Kohar, Rachna
    Parimala, N.
    INTERNATIONAL JOURNAL OF SYSTEM ASSURANCE ENGINEERING AND MANAGEMENT, 2020, 11 (05) : 865 - 882
  • [6] 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
  • [7] 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
  • [8] Graphical description of WS-CDL
    Yahmadi, Ibrahim
    Baghdadi, Youcef
    Al-Khanjari, Zuhoor
    2013 9TH INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION TECHNOLOGY (IIT), 2013,
  • [9] From WS-CDL choreography to BPEL process orchestration
    Mendling, Jan
    Hafner, Michael
    JOURNAL OF ENTERPRISE INFORMATION MANAGEMENT, 2008, 21 (05) : 525 - +
  • [10] A model checker for WS-CDL
    Wang, Hongbing
    Kang, Zuling
    Zhou, Ning
    Li, Li
    JOURNAL OF SYSTEMS AND SOFTWARE, 2010, 83 (10) : 1651 - 1661
12345