The Community for Technology Leaders
RSS Icon
Subscribe
Chicago, Illinois, USA
Sept. 18, 2006 to Sept. 22, 2006
ISBN: 0-7695-2669-1
pp: 893-894
Hongli Yang , Peking University, Beijing 100871, China
Xiangpeng Zhao , Peking University, Beijing 100871, China
Zongyan Qiu , Peking University, Beijing 100871, China
Geguang Pu , East China Normal University, Shanghai 200062, China
Shuling Wang , Peking University, Beijing 100871, China
ABSTRACT
We propose a language CDL as a formal model of simplified WS-CDL. The operational semantics of CDL is given, and static validation and verification of choreographies is studied. Some properties of the proposed model are verified using the SPIN model-checker, which illustrates the potential usage and benefits of the formal model.
INDEX TERMS
null
CITATION
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang, "A Formal Model forWeb Service Choreography Description Language (WS-CDL)", ICWS, 2006, 2013 IEEE 20th International Conference on Web Services, 2013 IEEE 20th International Conference on Web Services 2006, pp. 893-894, doi:10.1109/ICWS.2006.3
35 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool