Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation

Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transactions, which makes exceptional handling and finalization very important features in modeling choreography. A projection is a procedure which takes a choreography and generates a set of processes in the orchestration level. Given a choreography, how to project exceptional handling and finalization constructs is still an open problem. This paper aims to study exception handling and transactionality in choreographies from a projection view. We propose formal languages for both choreography and orchestration with trace semantics, and give a projection with discussion about its correctness.

[1]  Jifeng He,et al.  Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service , 2006, FMOODS.

[2]  Geguang Pu,et al.  Semantics of BPEL4WS-Like Fault and Compensation Handling , 2005, FM.

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

[4]  Xiang Fu,et al.  Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..

[5]  Shamim Ripon,et al.  Executable Semantics for Compensating CSP , 2005, EPEW/WS-FM.

[6]  Stephen D. Brookes,et al.  Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes , 2002, CONCUR.

[7]  Alberto Martelli,et al.  Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step , 2005, EPEW/WS-FM.

[8]  Zongyan Qiu,et al.  Towards the Formal Model and Verification of Web Service Choreography Description Language , 2006, WS-FM.

[9]  Jing Li,et al.  Towards the Semantics for Web Service Choreography Description Language , 2006, ICFEM.

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

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

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

[13]  R. Milner,et al.  A Theoretical Basis of Communication-Centred Concurrent Programming , 2005 .