Execution Semantics for Service Choreographies

A service choreography is a model of interactions in which a set of services engage to achieve a goal, seen from the perspective of an ideal observer that records all messages exchanged between these services. Choreographies have been put forward as a starting point for building service-oriented systems since they provide a global picture of the system's behavior. In previous work we presented a language for service choreography modeling targeting the early phases of the development lifecycle. This paper provides an execution semantics for this language in terms of a mapping to π-calculus. This formal semantics provides a basis for analyzing choreographies. The paper reports on experiences using the semantics to detect unreachable interactions.

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

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

[3]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[4]  Mathias Weske,et al.  Formalizing Service Interactions , 2006, Business Process Management.

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

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

[7]  Roberto Gorrieri,et al.  Choreography and Orchestration Conformance for System Design , 2006, COORDINATION.

[8]  W. F. Osgood.  Introduction to the calculus , 1922 .

[9]  Marlon Dumas,et al.  Let's Dance: A Language for Service Behavior Modeling , 2006, OTM Conferences.

[10]  Mathias Weske,et al.  Using the pi-Calculus for Formalizing Workflow Patterns , 2005, Business Process Management.

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

[12]  Jianwen Su,et al.  Tools for composite web services: a short overview , 2005, SGMD.

[13]  Marlon Dumas,et al.  Service Interaction Modeling: Bridging Global and Local Views , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).