Web service orchestration and verification using MSC and CP nets

Designing web services-based processes (WSP) requires striking the balance between intuitive and easy to understand process representation for the interactive domain user and consolidated formal mathematical specification. An easy to understand process representation facilitates conformance of process correctness where as the formal mathematical specification ensures formal verification of service orchestration for executing the process. Orchestration of services involves overall service design, service selection, and composition of services to achieve the overall goal. In this paper we present a novel approach to service orchestration that combines an effective diagrammatic modeling, an appropriate formal framework and an implementation process for dynamic WSP and complex web service composition and verification. Specifically we introduce a new approach for WSP design and verification comprising of service orchestration using High Level Message Sequence Charts (HMSC) and Colored Petri Nets (CP Nets) that provides a methodology for analysis and verification at a process level as well as the service level.

[1]  J. Kramer,et al.  LTSA-BPEL 4 WS : Tool Support for Model-based Verification of Web Service Compositions , 2003 .

[2]  David S. Rosenblum,et al.  Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems , 2005, FASE.

[3]  Sebastián Uchitel,et al.  Tool support for model-based engineering of Web service compositions , 2005, IEEE International Conference on Web Services (ICWS'05).

[4]  Roger C. Cheung,et al.  A User-Oriented Software Reliability Model , 1978, IEEE Transactions on Software Engineering.

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

[6]  Holger Luczak,et al.  Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets , 2006, ICATPN.

[7]  Øystein Haugen,et al.  Comparing UML 2.0 Interactions and MSC-2000 , 2004, SAM.

[8]  Antonio Bucchiarone,et al.  Web Service Composition Approaches: From Industrial Standards to Formal Methods , 2007, Second International Conference on Internet and Web Applications and Services (ICIW'07).

[9]  Marco Pistore,et al.  A Request Language for Web-Services Based on Planning and Constraint Satisfaction , 2002, TES.

[10]  Krys J. Kochut,et al.  A CP-nets-based design and verification framework for Web services composition , 2004 .

[11]  M. Beek,et al.  A Survey on Service Composition Approaches : From Industrial Standards to Formal Methods ? , 2006 .

[12]  Mike P. Papazoglou,et al.  Web Component: A Substrate for Web Service Reuse and Composition , 2002, CAiSE.

[13]  Boualem Benatallah,et al.  A Petri Net-based Model for Web Service Composition , 2003, ADC.

[14]  Yong Xiao,et al.  Verifying web services composition based on hierarchical colored petri nets , 2005, IHIS '05.

[15]  Wil M. P. van der Aalst,et al.  Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System , 2005, OTM Conferences.