Simulation and validation of Web services choreography

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, CDL specification regulates the correct behaviors a CDL program has to obey. Thus, constraints are specified in CDL specification including static, dynamic and implementation ones. We developed a relational calculous to capture those constraints precisely and a corresponding algorithm for relational analysis is performed with the CDL parser and simulator. Last but not least, a tool called CDLchecker is developed to facilitate designers to simulate and validate CDL documents.

[1]  Hongbing Wang,et al.  WS-CDL+: An Extended WS-CDL Execution Engine for Web Service Collaboration , 2007, IEEE International Conference on Web Services (ICWS 2007).

[2]  Lei Zhou,et al.  Static Check of WS-CDL Documents , 2008, 2008 IEEE International Symposium on Service-Oriented System Engineering.

[3]  Xiang Fu,et al.  WSAT: A Tool for Formal Analysis of Web Services , 2004, CAV.

[4]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[5]  Antonio Vallecillo,et al.  Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..

[6]  Wenfei Fan,et al.  XML constraints: specification, analysis, and applications , 2005, 16th International Workshop on Database and Expert Systems Applications (DEXA'05).

[7]  T. D. Fletcher,et al.  Web Services Choreography Description Language Version 1.0, W3C , 2004 .

[8]  Chao Cai,et al.  Type Checking Choreography Description Language , 2006, ICFEM.

[9]  Geguang Pu,et al.  A Formal Model forWeb Service Choreography Description Language (WS-CDL) , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[10]  Farhad Arbab,et al.  Web services choreography and orchestration in Reo and constraint automata , 2007, SAC '07.

[11]  Jifeng He,et al.  A Denotational Model for Web Services Choreography , 2008, ICDCIT.

[12]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[13]  Roberto Gorrieri,et al.  Reasoning About Interaction Patterns in Choreography , 2005, EPEW/WS-FM.

[14]  Chao Cai,et al.  Towards the theoretical foundation of choreography , 2007, WWW '07.