Towards a Formal Foundation to Choreography Languages

摘要：

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.

作者: Yang Chang Liu Fang Zhong Farong

作者单位: Pinghu Campus,Jiaxing University,Pinghu, 314200, China Department of Computer Application,Jiangxi Yuzhou Scientific and Technological Institute,Xinyu, 3380 Department of Computer Science,Zhejiang Normal University,Jinhua, 321004, China

会议类型: 国际会议

会议名称: 2010 IEEE International Conference on Intelligent Computing and Intelligent Systems(2010 IEEE 智能计算与智能系统国际会议 ICIS 2010)

会议地点: 厦门

会议语种:英文

页码: 233-236

在线出版日期: 2010-10-29（万方平台首次上网日期，不代表论文的发表时间）