Chapter

Formal Methods and Software Engineering

Volume 4260 of the series Lecture Notes in Computer Science pp 246-263

Towards the Semantics for Web Service Choreography Description Language

  • Jing LiAffiliated withSoftware Engineering Institute, East China Normal University
  • , Jifeng HeAffiliated withSoftware Engineering Institute, East China Normal University
  • , Geguang PuAffiliated withSoftware Engineering Institute, East China Normal University
  • , Huibiao ZhuAffiliated withSoftware Engineering Institute, East China Normal University

* Final gross prices may vary according to local VAT.

Get Access

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.

Keywords

WS-CDL choreography operational semantics compensation exception handling