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

  • Yang Hongli
  • Zhao Xiangpeng
  • Cai Chao
  • Qiu Zongyan
Conference paper

DOI: 10.1007/978-3-540-73196-2_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4574)
Cite this paper as:
Hongli Y., Xiangpeng Z., Chao C., Zongyan Q. (2007) Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. In: Derrick J., Vain J. (eds) Formal Techniques for Networked and Distributed Systems – FORTE 2007. FORTE 2007. Lecture Notes in Computer Science, vol 4574. Springer, Berlin, Heidelberg

Abstract

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 modelling 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 a projection based on the relationship between choreography and scope rooted in WS-CDL and WS-BPEL respectively.

Keywords

Choreography Orchestration Projection Exception Handling Finalization Compensation 
Download to read the full conference paper text

Copyright information

© IFIP International Federation for Information Processing 2007

Authors and Affiliations

  • Yang Hongli
    • 1
  • Zhao Xiangpeng
    • 1
  • Cai Chao
    • 1
  • Qiu Zongyan
    • 1
  1. 1.LMAM and Department of Informatics, School of Math., Peking University, Beijing 100871China

Personalised recommendations