A calculus for orchestration of web services

Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the development of tools and techniques to build safe and trustworthy systems, and to analyse their behaviour. Therefore, many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent, reactive, and distributed systems. In this paper, we follow this approach and introduce C?WS, a process calculus expressly designed for specifying and combining service-oriented applications, while modelling their dynamic behaviour. We show that C?WS can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We illustrate the specification style that C?WS supports by means of a large case study from the automotive domain and a number of more specific examples drawn from it.

[1]  Glynn Winskel,et al.  CCS with Priority Choice , 1995, Inf. Comput..

[2]  Nicola Zannone,et al.  Formal Analysis of BPMN Via a Translation into COWS , 2008, COORDINATION.

[3]  Gian Luigi Ferrari,et al.  Event Based Service Coordination over Dynamic and Heterogeneous Networks , 2006, ICSOC.

[4]  Roberto Bruni,et al.  Theoretical foundations for compensations in flow composition languages , 2005, POPL '05.

[5]  Rance Cleaveland,et al.  Priority in Process Algebra , 2001, Handbook of Process Algebra.

[6]  Gian Luigi Ferrari,et al.  Security Issues in Service Composition , 2006, FMOODS.

[7]  Nora Koch,et al.  Sensoria - Software Engineering for Service-Oriented Overlay Computers , 2011, Results of the SENSORIA Project.

[8]  Mario Bravetti,et al.  Contract based multi-party service composition , 2007, FSEN'07.

[9]  Cosimo Laneve,et al.  web-pi at Work , 2005, TGC.

[10]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[11]  Roberto Gorrieri,et al.  Choreography and Orchestration: A Synergic Approach for System Design , 2005, ICSOC.

[12]  Sergio Maffeis,et al.  On the Expressive Power of Polyadic Synchronisation in pi-calculus , 2002, EXPRESS.

[13]  Francesca Rossi,et al.  Soft Concurrent Constraint Programming , 2002, ESOP.

[14]  Cosimo Laneve,et al.  PiDuce - A project for experimenting Web services technologies , 2009, Sci. Comput. Program..

[15]  Davide Bacciu,et al.  A Fuzzy Approach for Negotiating Quality of Services , 2006, TGC.

[16]  Marco Aiello,et al.  Encoding Requests to Web Service Compositions as Constraints , 2005, CP.

[17]  Manuel Mazzara,et al.  A pi-calculus based semantics for WS-BPEL , 2007, J. Log. Algebraic Methods Program..

[18]  Stefania Gnesi,et al.  A logical verification methodology for service-oriented computing , 2012, TSEM.

[19]  Cosimo Laneve,et al.  A Basic Contract Language for Web Services , 2006, ESOP.

[20]  Ivan Lanese,et al.  Disciplining Orchestration and Conversation in Service-Oriented Computing , 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).

[21]  Stefano Bistarelli,et al.  A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation , 2009, VODCA@FOSAD.

[22]  Martín Abadi,et al.  Mobile values, new names, and secure communication , 2001, POPL '01.

[23]  Nora Koch,et al.  A Model-Driven Approach to Service Orchestration , 2008, 2008 IEEE International Conference on Services Computing.

[24]  Greg Meredith,et al.  Contracts and types , 2003, CACM.

[25]  Paola Quaglia,et al.  Stochastic COWS , 2007, ICSOC.

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

[27]  Naoki Kobayashi,et al.  Resource Usage Analysis for the Pi-Calculus , 2006, VMCAI.

[28]  Francesco Tiezzi,et al.  A WSDL-Based Type System for WS-BPEL , 2006, COORDINATION.

[29]  Cosimo Laneve,et al.  Smooth Orchestrators , 2006, FoSSaCS.

[30]  Naoki Kobayashi,et al.  Type Systems for Concurrent Programs , 2002, 10th Anniversary Colloquium of UNU/IIST.

[31]  Francesco Tiezzi,et al.  Regulating data exchange in service oriented applications , 2007, FSEN'07.

[32]  Michael J. Butler,et al.  An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions , 2004, COORDINATION.

[33]  Vijay A. Saraswat,et al.  Concurrent constraint programming , 1989, POPL '90.

[35]  Carolyn L. Talcott,et al.  A Rewriting Logic Framework for Soft Constraints , 2006, WRLA.

[36]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[37]  Björn Victor,et al.  The fusion calculus: expressiveness and symmetry in mobile processes , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).

[38]  Alan W. Brown,et al.  Using Service-Oriented Architecture and Component-Based Development to Build Web Service Applications , 2003 .

[39]  Rob J. van Glabbeek,et al.  On Specifying Timeouts , 2006, APC 25.

[40]  Faron Moller,et al.  Relating Processes With Respect to Speed , 1991, CONCUR.

[41]  Roberto Gorrieri,et al.  : A Calculus for Service Oriented Computing , 2006, ICSOC.

[42]  Vasco Thudichum Vasconcelos,et al.  Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication , 1998, SecReT@ICALP.

[43]  Roberto Bruni,et al.  SCC: A Service Centered Calculus , 2006, WS-FM.

[44]  Mirko Viroli,et al.  Towards a Formal Foundation to Orchestration Languages , 2004, WSFM.

[45]  Paola Inverardi,et al.  On the Relationships among four Timed Process Algebras , 1999, Fundam. Informaticae.

[46]  Faron Moller,et al.  A Temporal Calculus of Communicating Systems , 1990, CONCUR.

[47]  Emilio Tuosto,et al.  A Process Calculus for QoS-Aware Applications , 2005, COORDINATION.

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

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

[50]  Nobuko Yoshida,et al.  Structured Communication-Centred Programming for Web Services , 2007, ESOP.

[51]  Prakash Panangaden,et al.  The semantic foundations of concurrent constraint programming , 1991, POPL '91.

[52]  Emilio Tuosto,et al.  A Formal Basis for Reasoning on Programmable QoS , 2003, Verification: Theory and Practice.

[53]  Francesco Tiezzi,et al.  Service Discovery and Negotiation With COWS , 2008, Electron. Notes Theor. Comput. Sci..

[54]  Davide Sangiorgi,et al.  On asynchrony in name-passing calculi , 1998, Mathematical Structures in Computer Science.

[55]  Cosimo Laneve,et al.  Foundations of Web Transactions , 2005, FoSSaCS.

[56]  Rocco De Nicola,et al.  KLAIM: A Kernel Language for Agents Interaction and Mobility , 1998, IEEE Trans. Software Eng..

[57]  Stefano Bistarelli.  Semirings for Soft Constraint Solving and Programming , 2004, Lecture Notes in Computer Science.

[58]  Francesco Tiezzi,et al.  A Calculus for Orchestration of Web Services , 2007, ESOP.

[59]  Gianluigi Zavattaro,et al.  JOLIE: a Java Orchestration Language Interpreter Engine , 2007, CoOrg/MTCoord@COORDINATION.

[60]  Davide Sangiorgi,et al.  On Bisimulations for the Asynchronous pi-Calculus , 1996, Theor. Comput. Sci..

[61]  Ivan Lanese,et al.  Towards a Unifying Theory for Web Services Composition , 2006, WS-FM.

[62]  Sagar Chaki,et al.  Types as models: model checking message-passing programs , 2002, POPL '02.

[63]  Rocco De Nicola,et al.  Implementing Session Centered Calculi , 2008, COORDINATION.

[64]  Roberto Bruni,et al.  Comparing Two Approaches to Compensable Flow Composition , 2005, CONCUR.

[65]  Cosimo Laneve,et al.  Linear forwarders , 2007, Inf. Comput..

[66]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[67]  Joseph Sifakis,et al.  An Overview and Synthesis on Timed Process Algebras , 1991, REX Workshop.

[68]  Camilo Rueda,et al.  Pi+- Calculus: A Calculus for Concurrent Processes with Constraints , 1998, CLEI Electron. J..

[69]  Francesco Tiezzi,et al.  A Formal Account of WS-BPEL , 2008, COORDINATION.

[70]  Laura Bocchi,et al.  A Calculus for Long-Running Transactions , 2003, FMOODS.

[71]  Francesco Tiezzi,et al.  C-clock-WS: A Timed Service-Oriented Calculus , 2007, ICTAC.

[72]  Roberto Bruni,et al.  Multiparty Sessions in SOC , 2008, COORDINATION.

[73]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[74]  Nobuko Yoshida,et al.  On Observing Dynamic Prioritised Actions in SOC , 2009, ICALP.

[75]  Hugo Torres Vieira,et al.  Conversation types , 2009, Theor. Comput. Sci..

[76]  Roberto Gorrieri,et al.  SOCK : A calculus for service oriented computing , 2006 .

[77]  Karsten Wolf,et al.  Transforming BPEL to Petri Nets , 2005, Business Process Management.

[78]  Francesco Tiezzi,et al.  A tool for rapid development of WS-BPEL applications , 2010, SIAP.

[79]  James Riely,et al.  Resource Access Control in Systems of Mobile Agents , 2002, HLCL.

[80]  Philippa Gardner,et al.  Explicit fusions , 2000, Theor. Comput. Sci..

[81]  Nobuko Yoshida,et al.  A Calculus of Global Interaction based on Session Types , 2007, DCM@ICALP.

[82]  Rance Cleaveland,et al.  Priorities in process algebras , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[83]  Maria Grazia Buscemi,et al.  Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings , 2007, European Symposium on Programming.

[84]  Björn Victor,et al.  The Update Calculus (Extended Abstract) , 1997, AMAST.

[85]  Francesca Rossi,et al.  Constraint Relaxation may be Perfect , 1991, Artif. Intell..

[86]  Nobuko Yoshida,et al.  A Symbolic Semantics for a Calculus for Service-Oriented Computing , 2009, Electron. Notes Theor. Comput. Sci..

[87]  Francesco Tiezzi,et al.  An accessible verification environment for UML models of services , 2011, J. Symb. Comput..

[88]  Atsushi Igarashi,et al.  A generic type system for the Pi-calculus , 2004, Theor. Comput. Sci..

[89]  Roberto Bruni,et al.  Sessions and Pipelines for Structured Service Programming , 2008, FMOODS.

[90]  C. A. R. Hoare,et al.  A Trace Semantics for Long-Running Transactions , 2004, 25 Years Communicating Sequential Processes.

[91]  Jayadev Misra,et al.  Computation Orchestration , 2007, Software & Systems Modeling.

[92]  Iain Phillips.  CCS with Priority Guards , 2001, CONCUR.

[93]  Nobuko Yoshida,et al.  Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication , 2007, Electron. Notes Theor. Comput. Sci..