The Community for Technology Leaders
2013 IEEE 20th International Conference on Web Services (2006)
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
Zongyan Qiu , Peking University, Beijing 100871, China
Shuling Wang , Peking University, Beijing 100871, China
Geguang Pu , East China Normal University, Shanghai 200062, China
Xiangpeng Zhao , 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, Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao, "A Formal Model forWeb Service Choreography Description Language (WS-CDL)", 2013 IEEE 20th International Conference on Web Services, vol. 00, no. , pp. 893-894, 2006, doi:10.1109/ICWS.2006.3
94 ms
(Ver )