Web services choreography validation

Authors:
Zheng Wang;Lei Zhou;Yongxin Zhao;Jing Ping;Hao Xiao;Geguang Pu;Huibiao Zhu
Affiliations:
Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, People's Republic of China;Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, People's Republic of China;Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, People's Republic of China;Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, People's Republic of China;Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, People's Republic of China;Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, People's Republic of China;Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, People's Republic of China
Venue:
Service Oriented Computing and Applications
Year:
2010

Citing 14
Cited 0

A Calculus of Communicating Systems

A Calculus of Communicating Systems
BPEL4WS Unit Testing: Framework and Implementation

ICWS '05 Proceedings of the IEEE International Conference on Web Services
A Formal Model forWeb Service Choreography Description Language (WS-CDL)

ICWS '06 Proceedings of the IEEE International Conference on Web Services
Towards the theoretical foundation of choreography

Proceedings of the 16th international conference on World Wide Web
Web services choreography and orchestration in Reo and constraint automata

Proceedings of the 2007 ACM symposium on Applied computing
WS-CDL+ for web service collaboration

Information Systems Frontiers
The Validation and Verification of WSCDL

APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
Static Check of WS-CDL Documents

SOSE '08 Proceedings of the 2008 IEEE International Symposium on Service-Oriented System Engineering
A Denotational Model for Web Services Choreography

ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM

Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing Web Service Choreographies

Electronic Notes in Theoretical Computer Science (ENTCS)
Constraint Checking for XML-Based Language Specification by SAT Solver

SSIRI-C '10 Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion
Automatically testing web services choreography with assertions

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Reasoning about interaction patterns in choreography

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we propose an approach to simulation and validation of Web services choreography described by WS-CDL. Simulation of Web services choreography is important to analyze and test the choreography model written by SOA designers. On the other hand, WS-CDL specification regulates the correct behaviors a WS-CDL document has to obey. Thus, constraints are specified in WS-CDL specification including static, dynamic and implementation ones. We developed a relational calculus to capture those constraints precisely, and a corresponding algorithm for relational analysis is performed with the WS-CDL parser and simulator. Last but not least, a tool called CDLchecker is developed to facilitate designers to simulate and validate WS-CDL documents.