Sciweavers

Share
FORTE
2007

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

11 years 6 months ago
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.
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where FORTE
Authors Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
Comments (0)
books