Abstract
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.
Supported by National Basic Research Program of China (No. 2002CB312001).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Barros, A., Dumas, M., Oaks, P.: A critical overview of web service choreography description language(WS-CDL). BPTrends (March 2005)
Dijkman, R., Dumas, M.: Service-oriented design: a multi-viewpoint approach. International Journal of Cooperative Information Systems 13(4), 337–368 (2004)
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)
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)
Garcia-Molina, H., Salem, K.: Sagas. In: Proc. of ACM SIGMOD 1987, pp. 249–259. ACM Press, New York (1987)
Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web services choreographies. In: Proc. of WS-FM 2004. ENTCS 105 (2004)
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)
Roscoe, A.W.: The Theory and Practice of Concurrency, Pearson edition. Prentice Hall, Englewood Cliffs (1998)
Plotkin, G.D.: A structural approach to operational semantics. Technical report, Aarhus University (1981)
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)
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), http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/
World Wide Web Consortium. Web Services Choreography Description Language Version 1.0. Candidate Recommendation (November 9, 2005), http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
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)
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)
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)
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)
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)
World Wide Web Consortium. Web Service Choreography Interface (WSCI) 1.0. (2002), http://www.w3.org/TR/wsci
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, J., He, J., Pu, G., Zhu, H. (2006). Towards the Semantics for Web Service Choreography Description Language. In: Liu, Z., He, J. (eds) Formal Methods and Software Engineering. ICFEM 2006. Lecture Notes in Computer Science, vol 4260. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11901433_14
Download citation
DOI: https://doi.org/10.1007/11901433_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-47460-9
Online ISBN: 978-3-540-47462-3
eBook Packages: Computer ScienceComputer Science (R0)