Modeling the Work Unit of WS-CDL Based on Process Algebra

被引：0
|
作者：
Li, Shenghong [1 ]
机构：
[1] Jiangxi Univ Finance & Econ, Sch Informat Technol, Nanchang, Peoples R China
来源：
2009 INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN COMPUTER SCIENCE, ICRCCS 2009 | 2009年
关键词：
web service; choreography; process algebra; WS-CDL; formal modeling;
D O I：
10.1109/ICRCCS.2009.45
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
The description of choreography, WS-CDL, is an interactive description from global view which lacks formal semantics. The formal syntax and semantics, Process Algebra for WS-CDL (PA4WS), are proposed to describe WS-CDL using service channel and session channel. Particularly, the notation of Work Unit is a reusable principle which plays an important role in WS-CDL. The Work Unit of WS-CDL is modeled in PA4WS. To exemplify the advantages of PA4WS, the interaction of Interaction Based Information Alignment (IBIA) and asynchronous interaction are depicted by a case study.
引用
收藏
页码：149 / 152
页数：4
相关论文
共 50 条
  • [1] Modeling the Patterns of WS-CDL Interactions Based on Process Algebra
    Li, Shenghong
    Miao, Huaikou
    [J]. 2008 INTERNATIONAL SEMINAR ON FUTURE INFORMATION TECHNOLOGY AND MANAGEMENT ENGINEERING, PROCEEDINGS, 2008, : 222 - 227
  • [2] A formal framework for WS-CDL based on process algebra
    Li, Shenghong
    Miao, Huaikou
    [J]. Journal of Information and Computational Science, 2009, 6 (01): : 497 - 505
  • [3] Towards a Type Theory of WS-CDL Based on Process Algebra
    Miao, Huaikou
    Li, Shenghong
    [J]. 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
    [J]. International Journal of System Assurance Engineering and Management, 2020, 11 : 865 - 882
  • [5] Using UML/WS-CDL for modeling negotiation scenarios
    Piotrowski, Michal
    Krawczyk, Henryk
    [J]. PERVASIVE COLLABORATIVE NETWORKS, 2008, 283 : 119 - 126
  • [6] Graphical description of WS-CDL
    Yahmadi, Ibrahim
    Baghdadi, Youcef
    Al-Khanjari, Zuhoor
    [J]. 2013 9TH INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION TECHNOLOGY (IIT), 2013,
  • [7] A metrics framework for a WS-CDL process under evolution
    Kohar, Rachna
    Parimala, N.
    [J]. INTERNATIONAL JOURNAL OF SYSTEM ASSURANCE ENGINEERING AND MANAGEMENT, 2020, 11 (05) : 865 - 882
  • [8] From WS-CDL choreography to BPEL process orchestration
    Mendling, Jan
    Hafner, Michael
    [J]. JOURNAL OF ENTERPRISE INFORMATION MANAGEMENT, 2008, 21 (05) : 525 - +
  • [9] A model checker for WS-CDL
    Wang, Hongbing
    Kang, Zuling
    Zhou, Ning
    Li, Li
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2010, 83 (10) : 1651 - 1661
  • [10] MODEL AND VERIFICATION OF WS-CDL BASED ON UML DIAGRAMS
    Zhang, Pengcheng
    Muccini, Henry
    Zhu, Yuelong
    Li, Bixin
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2010, 20 (08) : 1119 - 1149
12345