Towards the Semantics for Web Service Choreography Description Language

  • Jing Li
  • Jifeng He
  • Geguang Pu
  • Huibiao Zhu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4260)


A choreography is a multi-part contract which describes peer to peer collaboration of services regardless of any specific programming language or supporting platform. WS-CDL, issued from W3C, is the first language for describing choreography. In this paper, we propose a language CDL 0 to capture the important features of WS-CDL, including choreography composition, compensation and exception handling. An adjunctive concept role reference is introduced with the aim of distinguishing multiple participants which provide the same kind of service within a choreography model. The semantics is given by an operational approach to provide a formal base for the choreography language. We believe this formalism work helps to clear ambiguous points in the WS-CDL specification and promote the usage of choreography languages.


WS-CDL choreography operational semantics compensation exception handling 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Barros, A., Dumas, M., Oaks, P.: A critical overview of web service choreography description language(WS-CDL). BPTrends (March 2005)Google Scholar
  2. 2.
    Dijkman, R., Dumas, M.: Service-oriented design: a multi-viewpoint approach. International Journal of Cooperative Information Systems 13(4), 337–368 (2004)CrossRefGoogle Scholar
  3. 3.
    Butler, M., Ripon, S.: Executable semantics for compensating CSP. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 243–256. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  4. 4.
    Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Towards a formal framework for choreography. In: Proceedings of the 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise, pp. 107–112 (2005)Google Scholar
  5. 5.
    Garcia-Molina, H., Salem, K.: Sagas. In: Proc. of ACM SIGMOD 1987, pp. 249–259. ACM Press, New York (1987)CrossRefGoogle Scholar
  6. 6.
    Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web services choreographies. In: Proc. of WS-FM 2004. ENTCS 105 (2004)Google Scholar
  7. 7.
    Butler, M., Ferreira, C.: An operational semantics for StAC, a language for modelling long-running business transactions. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 87–104. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Roscoe, A.W.: The Theory and Practice of Concurrency, Pearson edition. Prentice Hall, Englewood Cliffs (1998)Google Scholar
  9. 9.
    Plotkin, G.D.: A structural approach to operational semantics. Technical report, Aarhus University (1981)Google Scholar
  10. 10.
    Geguang, P., Xiangpeng, Z., Shuling, W., Zongyan, Q.: Towards the semantics and verification of BPEL4WS. In: International Workshop on Web Languages and Formal Methods, WLFM 2005. Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam (2006)Google Scholar
  11. 11.
    Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business Process Execution Language for Web Services (BPEL4WS 1.1) (2003),
  12. 12.
    World Wide Web Consortium. Web Services Choreography Description Language Version 1.0. Candidate Recommendation (November 9, 2005),
  13. 13.
    Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)zbMATHGoogle Scholar
  14. 14.
    Geguang, P., Huibiao, Z., Zongyan, Q., Shuling, W., Xiangpeng, Z., Jifeng, H.: Theoretical foundations of scope-based compensable flow languange for Web Service. In: Ning, P., Qing, S., Li, N. (eds.) ICICS 2006. LNCS, vol. 4307, pp. 251–266. Springer, Heidelberg (2006)Google Scholar
  15. 15.
    Bocchi, L., Laneve, C., Zavattaro, G.: A calculus for long-running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 124–138. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  16. 16.
    Zongyan, Q., Shuling, W., Geguang, P., Xiangpeng, Z.: Semantics of BPEL4WS-like fault and compensation handling. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 350–365. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  17. 17.
    Butler, M., Ferreira, C.: A process compensation language. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol. 1945, pp. 61–76. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  18. 18.
    Chessell, M., Vines, D., Griffin, C., Butler, M., Ferreira, C., Henderson, P.: Extending the concept of transaction compensation. IBM Systems Journal 41(4), 743–758 (2002)CrossRefGoogle Scholar
  19. 19.
    World Wide Web Consortium. Web Service Choreography Interface (WSCI) 1.0. (2002),

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jing Li
    • 1
  • Jifeng He
    • 1
  • Geguang Pu
    • 1
  • Huibiao Zhu
    • 1
  1. 1.Software Engineering InstituteEast China Normal UniversityShanghaiChina

Personalised recommendations