Formal Model of Web Service Composition: An Actor-Based Approach to Unifying Orchestration and Choreography

Web Service Composition creates new composite Web Services from the collection of existing ones to be composed further and embodies the added values and potential usages of Web Services. Web Service Composition includes two aspects: Web Service orchestration denoting a workflow-like composition pattern and Web Service choreography which represents an aggregate composition pattern. There were only a few works which give orchestration and choreography a relationship. In this paper, we introduce an architecture of Web Service Composition runtime which establishes a natural relationship between orchestration and choreography through a deep analysis of the two ones. Then we use an actor-based approach to design a language called AB-WSCL to support such an architecture. To give AB-WSCL a firmly theoretic foundation, we establish the formal semantics of AB-WSCL based on concurrent rewriting theory for actors. Conclusions that well defined relationships exist among the components of AB-WSCL using a notation of Compositionality is drawn based on semantics analysis. Our works can be bases of a modeling language, simulation tools, verification tools of Web Service Composition at design time, and also a Web Service Composition runtime with correctness analysis support itself.

[1]  Jacques Cohen,et al.  Concurrent object-oriented programming , 1993, CACM.

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

[3]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[4]  Carlo Montangero,et al.  A Logical View of Choreography , 2006, COORDINATION.

[5]  Carolyn L. Talcott,et al.  An actor rewriting theory , 1996, WRLA.

[6]  Arvind Malhotra,et al.  XML Schema Part 2: Datatypes Second Edition , 2004 .

[7]  Jan Mendling,et al.  From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL , 2005, OTM Workshops.

[8]  Claus Pahl,et al.  A Semantical Framework for the Orchestration and Choreography of Web Services , 2005, WLFM@FM.

[9]  Nalini Venkatasubramanian,et al.  An adaptive resource management architecture for global distributed computing , 1998 .

[10]  Wil M. P. van der Aalst,et al.  On the verification of interorganizational workflows , 1997 .

[11]  S. Krishnan,et al.  2 XLANG : Web Services for Business Process Design , 2002 .

[12]  Jifeng He,et al.  A Denotational Model for Web Services Choreography , 2008, ICDCIT.

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

[14]  Gul Agha,et al.  Efficient communication and coordination for large-scale multi-agent systems , 2006 .

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

[16]  Wil M. P. van der Aalst,et al.  Analysis of Web Services Composition Languages: The Case of BPEL4WS , 2003, ER.

[17]  Shiyong Lu,et al.  A model for abstract process specification, verification and composition , 2004, ICSOC '04.

[18]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[19]  Mario Bravetti,et al.  Towards a Unifying Theory for Choreography Conformance and Contract Compliance , 2007, SC@ETAPS.

[20]  Valentín Valero,et al.  A Petri net approach for the design and analysis of Web Services Choreographies , 2009, J. Log. Algebraic Methods Program..

[21]  Geguang Pu,et al.  Towards the Semantics and Verification of BPEL4WS , 2006, WLFM@FM.

[22]  Hanpin Wang,et al.  A petri net semantics for web service choreography , 2007, SAC '07.

[23]  Carolyn L. Talcott,et al.  Interaction Semantics for Components of Distributed Systems , 1997 .

[24]  Gul Agha,et al.  Using passive object garbage collection algorithms for garbage collection of active objects , 2002, ISMM '02.

[25]  Svend Frølund.  Coordinating distributed objects - an actor-based approach to synchronization , 1996 .

[26]  Roberto Chinnici,et al.  Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language , 2007 .

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

[28]  Shin Nakajima.  Model-Checking Behavioral Specification of BPEL Applications , 2006, Electron. Notes Theor. Comput. Sci..

[29]  Roozbeh Farahbod,et al.  Specification and Validation of the Business Process Execution Language for Web Services , 2004, Abstract State Machines.

[30]  Christian Stahl,et al.  A Petri Net Semantics for BPEL , 2005 .

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

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

[33]  Yong Wang,et al.  An actor-based language to unifying web service orchestration and web service choreography , 2012, 2012 International Conference on Computer Science and Information Processing (CSIP).

[34]  W. L. Yeung,et al.  CSP-Based Verification for Web Service Orchestration and Choreography , 2007, Simul..

[35]  Carolyn L. Talcott,et al.  Actor theories in rewriting logic , 2002, Theor. Comput. Sci..

[36]  Wing Lok Yeung,et al.  Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services , 2006, 2006 European Conference on Web Services (ECOWS'06).

[37]  Farhad Arbab,et al.  Web services choreography and orchestration in Reo and constraint automata , 2007, SAC '07.

[38]  Jan Mendling,et al.  From WS-CDL choreography to BPEL process orchestration , 2008, J. Enterp. Inf. Manag..

[39]  Gul Agha,et al.  Modular specification of interaction policies in distributed computing , 1996 .

[40]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[41]  MengChu Zhou,et al.  A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language , 2009, IEEE Transactions on Automation Science and Engineering.

[42]  Gul Agha,et al.  Worldwide computing with universal actors: linguistic abstractions for naming, migration, and coordination , 2001 .

[43]  Gul Agha,et al.  Customization and Composition of Distributed Objects: Policy Management in Distributed Software Architectures , 1999 .

[44]  Munindar P. Singh.  Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language , 2011, AAMAS.

[45]  Duen-Ren Liu,et al.  Coordinating Interorganizational Workflows Based on Process-Views , 2001, DEXA.

[46]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[47]  Mohamed Bakhouya,et al.  Formal Specification and Verification of Service Composition using LOTOS , 2010 .

[48]  Samik Basu,et al.  Deciding choreography realizability , 2012, POPL '12.

[49]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[50]  Marjan Sirjani,et al.  Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM , 2009, FOCLASA@ICALP.

[51]  Munindar P. Singh.  LoST: Local State Transfer -- An Architectural Style for the Distributed Enactment of Business Protocols , 2011, 2011 IEEE International Conference on Web Services.

[52]  Duen-Ren Liu,et al.  Workflow modeling for virtual processes: an order-preserving process-view approach , 2003, Inf. Syst..

[53]  Lei Zhou,et al.  Web services choreography validation , 2010, Service Oriented Computing and Applications.

[54]  Cai Chao,et al.  Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation , 2007 .

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

[56]  Jing Li,et al.  Modeling and Verifying Web Services Choreography Using Process Algebra , 2007, 31st IEEE Software Engineering Workshop (SEW 2007).

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

[58]  Chao Cai,et al.  Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation , 2007, FORTE.

[59]  Antonio Vallecillo,et al.  Formalizing WSBPEL Business Processes Using Process Algebra , 2006, Electron. Notes Theor. Comput. Sci..