Towards the Semantics for Web Service Choreography Description Language

  • Jing Li
  • Jifeng He
  • Geguang Pu
  • Huibiao Zhu
Conference paper

DOI: 10.1007/11901433_14

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4260)
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

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 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.

Keywords

WS-CDL choreography operational semantics compensation exception handling 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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