Compatibility verification for Web service choreography

In this paper we discuss a model-based approach to verifying process interactions for coordinated Web service compositions. The approach uses finite state machine representations of Web service orchestrations and assigns semantics to the distributed process interactions. The move towards implementing Web service compositions by multiple interested parties as a form of distributed system architecture motivates the need for supporting compatibility verification of activities and transactions in all the processes. The described approach is supported by a suite of cooperating tools for specification, formal modeling and providing verification results from orchestrated Web service interactions.

[1]  Sebastián Uchitel,et al.  Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[2]  Jeff Magee,et al.  Concurrency - state models and Java programs , 2006 .

[3]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[4]  Sanjiva Weerawarana,et al.  The Business Process Execution Language for Web Services , 2005, Process-Aware Information Systems.

[5]  Rebecca Parsons.  Components and the World of Chaos , 2003, IEEE Softw..

[6]  Ivica Crnkovic,et al.  New Challenges for Configuration Management , 1999, SCM.

[7]  Wil M. P. van der Aalst,et al.  Web service composition languages: old wine in New bottles? , 2003, 2003 Proceedings 29th Euromicro Conference.

[8]  Shin Nakajima,et al.  Model-Checking Verification for Reliable Web Service , 2002 .

[9]  S. Nakajima,et al.  Verification of Web service flows with model-checking techniques , 2002, First International Symposium on Cyber Worlds, 2002. Proceedings..

[10]  Sanjiva Weerawarana,et al.  Service-Oriented Composition in BPEL4WS , 2003, WWW.

[11]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[12]  Anthony Nadalin,et al.  Web Services Coordination (WS- Coordination) , 2004 .

[13]  Mike P. Papazoglou,et al.  Service components for managing the life-cycle of service compositions , 2004, Inf. Syst..

[14]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[15]  A. Joshi,et al.  Dynamic Service Composition: State-of-the-Art and Research Directions , 2001 .