Towards the Semantics for Web Service Choreography Description Language
- Cite this paper as:
- 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
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 CDL0 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.
KeywordsWS-CDL choreography operational semantics compensation exception handling
Unable to display preview. Download preview PDF.