A Unified Formal Foundation for Service Oriented Architectures

This paper summarizes how an algebra for mobile systems, the π-calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounted are orchestrations including data and processes, as well as choreographies consisting of interacting processes. Since SOAs incorporate agile binding of interaction partners, static process structures as found in Petri nets are not sufficient for completely representing orchestrations and choreographies. The π-calculus, in contrast, inherently supports link passing mobility required for agile interacting processes.

[1]  W.M.P. van der Aalst,et al.  YAWL: yet another workflow language (revised version) , 2003 .

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

[3]  C. Petri.  Kommunikation mit Automaten , 1962 .

[4]  Peter Fettke,et al.  Business Process Modeling Notation , 2008, Wirtschaftsinf..

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

[6]  Frank Puhlmann.  Why Do We Actually Need the Pi-Calculus for Business Process Management? , 2006, BIS.

[7]  Stephen L. Burbeck.  The Tao of e-Business Services , 2000 .

[8]  D. Walker,et al.  A Calculus of Mobile Processes, Part Ii , 1989 .

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

[10]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004 .

[11]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[12]  Mathias Weske,et al.  Investigations on Soundness Regarding Lazy Activities , 2006, Business Process Management.

[13]  Davide Sangiorgi,et al.  A Theory of Bisimulation for the pi-Calculus , 1993, CONCUR.

[14]  Marlon Dumas,et al.  Service Interaction Patterns , 2005, Business Process Management.

[15]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

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

[17]  Wolfgang Reisig,et al.  An Operating Guideline Approach to the SOA , 2005 .

[18]  Mathias Weske,et al.  Towards a Formal Model for Agile Service Discovery and Integration , 2005 .

[19]  Axel Martens.  On Compatibility of Web Services , 2003 .

[20]  Axel Martens,et al.  Analyzing Web Service Based Business Processes , 2005, FASE.

[21]  Gwen Salaün,et al.  Using Process Algebra for Web Services: Early Results and Perspectives , 2004, TES.

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

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