DocumentCode
536355
Title
Towards a formal foundation to choreography languages
Author
Chang, Yang ; Fang, Liu ; Farong, Zhong
Author_Institution
Jiaxing Univ., Pinghu, China
Volume
2
fYear
2010
fDate
29-31 Oct. 2010
Firstpage
233
Lastpage
236
Abstract
We introduce a formal framework for studying the semantics of choreography languages for Web Services. Taking WS-CDL language as reference case study, we define syntax and semantics of a core language to derive the collaborations of participants from a WS-CDL specification. Based on the formal model, we discuss further: (1) projection from a given choreography to orchestration views, which provides a basis for the implementation of the choreography; (2) correctness of projection, in the sense that it ensures the parallel composition of the generated role processes will be an implementation of the choreography. A useful Equation is given.
Keywords
Web services; programming language semantics; specification languages; WS-CDL language; Web service; choreography language semantic; formal foundation; language syntax; orchestration view; parallel composition; Rail to rail inputs;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Computing and Intelligent Systems (ICIS), 2010 IEEE International Conference on
Conference_Location
Xiamen
Print_ISBN
978-1-4244-6582-8
Type
conf
DOI
10.1109/ICICISYS.2010.5658762
Filename
5658762
Link To Document