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

  • Yang Hongli
  • Zhao Xiangpeng
  • Cai Chao
  • Qiu Zongyan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4574)


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.


Choreography Orchestration Projection Exception Handling Finalization Compensation 


  1. 1.
    SOAP service description language, http://ssdl.org
  2. 2.
    Web services choreography description language version 1.0 (2005), http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109/
  3. 3.
    Business process execution language for web services, version 1.1 (May 2003), http://www-106.ibm.com/developerworks/webservices/library/ws-bpel
  4. 4.
    Baldoni, M., Badoglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the conformance of web services to global interaction protocols: a first step. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) Formal Techniques for Computer Systems and Business Processes. LNCS, vol. 3670, Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Brookes, S.: Traces, pomsets, fairness and full abstraction for communicating processes. In: Brim, L., Jančar, P., Křetínský, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, Springer, Heidelberg (2002)Google Scholar
  6. 6.
    Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proc. of POPL’05, ACM Press, New York (2005)Google Scholar
  7. 7.
    Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration: A synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, Springer, Heidelberg (2006)CrossRefGoogle Scholar
  9. 9.
    Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol. 3525, Springer, Heidelberg (2005)Google Scholar
  10. 10.
    Butler, M., Ripon, S.: Executable semantics for compensating CSP. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) Formal Techniques for Computer Systems and Business Processes. LNCS, vol. 3670, Springer, Heidelberg (2005)CrossRefGoogle Scholar
  11. 11.
    Carbone, M., Honda, K., Yoshida, N., Milner, R., Brown, G., Ross-Talbot, S.: A theoretical basis of communication-centred concurrent programming (2006), http://www.w3.org/2002/ws/chor/edcopies/theory/note.pdf
  12. 12.
    Fu, X., Bultan, T., Su, J.: Conversation protocols: A formalism for specification and verification of reactive electronic services. In: Ibarra, O.H., Dang, Z. (eds.) CIAA 2003. LNCS, vol. 2759, Springer, Heidelberg (2003)CrossRefGoogle Scholar
  13. 13.
    Li, J., He, J., Pu, G., Zhu, H.: Towards the semantics for web services choreography description language. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol. 4260, Springer, Heidelberg (2006)CrossRefGoogle Scholar
  14. 14.
    Pu, G., Zhu, H., Qiu, Z., Wang, S., Zhao, X., He, J.: Theoretical foundations of scope-based compensation flow language for web service. In: Ning, P., Qing, S., Li, N. (eds.) ICICS 2006. LNCS, vol. 4307, Springer, Heidelberg (2006)Google Scholar
  15. 15.
    Qiu, Z., Wang, S., Pu, G., Zhao, X.: Semantics of BPEL4WS-like fault and compensation handling. In: Fitzgerald, J.A., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, Springer, Heidelberg (2005)Google Scholar
  16. 16.
    Qiu, Z., Zhao, X., Chao, C., Yang, H.: Towards the theoretical foundation of choreography. Accepted by WWW’07, Available as a tech. report at http://www.is.pku.edu.cn/~fmows/
  17. 17.
    Zhao, X., Yang, H., Qiu, Z.: Towards the formal model and verification of web services choreography description language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, Springer, Heidelberg (2006)Google Scholar

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