Model checking web services choreography in process analysis toolkit

被引：0
|
作者：
许东 [1 ]
雷州 [1 ,2 ]
李卫民 [1 ]
张博锋 [1 ,2 ]
机构：
[1] School of Computer Engineering and Science,Shanghai University
[2] High Performance Computing Center,Shanghai University
来源：
Advances in Manufacturing | 2010年 / 01期
关键词：
model checking; web service(WS); communicating sequential processes(CSP);
D O I：
暂无
中图分类号：
TP393.09 [];
学科分类号：
080402 ;
摘要：
Web service(WS) is an emerging software technology,especially acting an important role in cloud computing.The WS choreography description language(WS-CDL) is the standard for modeling the observable behavior of WS composition across multiple participants from a global point of view.However,it lacks of a formal semantics and could easily lead to misunderstanding and different implementations.In this paper,the WS-CDL based specifications are formally extracted in a communicating sequential process supporting a formal approach to checking WS models.In addition,formalisms and model checking are explicitly illustrated through a simple but non-trivial example with the help of model checker process analysis toolkit(PAT).
引用
收藏
页码：45 / 49
页数：5
相关论文
共 50 条
  • [1] Model checking web services choreography in process analysis toolkit
    许东
    雷州
    李卫民
    张博锋
    [J]. Journal of Shanghai University(English Edition)., 2010, 14 (01) - 49
  • [2] A Denotational Model for Web Services Choreography
    Pu, Geguang
    Zhao, Yongxin
    Wang, Zheng
    Feng, Libo
    Zhu, Huibiao
    He, Jifeng
    [J]. DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS, 2008, 5375 : 1 - 12
  • [3] Model Checking CSP Revisited: Introducing a Process Analysis Toolkit
    Sun, Jun
    Liu, Yang
    Song-Dong, Jin
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 307 - 322
  • [4] A FRAMEWORK FOR MODEL CHECKING WEB SERVICE CHOREOGRAPHY BASED ON CWB
    Beggar, Mohammed Lamine
    Liao Lejian
    [J]. 2011 3RD INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT (ICCTD 2011), VOL 3, 2012, : 497 - 507
  • [5] Selecting Web Services for Choreography Implementation: Compatibility Checking Approach with Access Control
    Elabd, Emad
    Coquery, Emmanuel
    Hacid, Mohand-Said
    [J]. 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 235 - 240
  • [6] Modeling and Model Checking Web Services
    Schlingloff, Holger
    Martens, Axel
    Schmidt, Karsten
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 126 : 3 - 26
  • [7] Model checking technologies for web services
    Huang, Hai
    Mason, Rick A.
    [J]. Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and The Second International Workshop on Collaborative Computing, Integration, and Assurance, Proceedings, 2006, : 217 - 222
  • [8] Abstract Model Checking for Web Services
    QIAN Junyan
    [J]. Wuhan University Journal of Natural Sciences, 2008, (04) : 466 - 470
  • [9] Timed Model Checking Based Approach for Web Services Analysis
    Guermouche, Nawal
    Godart, Claude
    [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, 2009, : 213 - 221
  • [10] Modeling and verifying web services choreography using process algebra
    Li, Jing
    He, Jifeng
    Zhu, Huibiao
    Pu, Geguang
    [J]. 31ST IEEE SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2007, : 256 - 265
12345