@inproceedings{f3b7dd00bc264223bfc0119e69948a3e,
title = "Towards the semantics for web service choreography description language",
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 = "Choreography, Compensation, Exception handling, Operational semantics, WS-CDL",
author = "Li Jing and He Jifeng and Pu Geguang and Zhu Huibiao",
year = "2006",
language = "英语",
isbn = "3540474609",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "246--263",
booktitle = "Formal Methods and Software Engineering - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Proceedings",
address = "德国",
note = "8th International Conference on Formal Engineering Methods, ICFEM 2006 ; Conference date: 01-11-2006 Through 03-11-2006",
}