Title :
A Formal Model forWeb Service Choreography Description Language (WS-CDL)
Author :
Yang, Hongli ; Zhao, Xiangpeng ; Qiu, Zongyan ; Pu, Geguang ; Wang, Shuling
Author_Institution :
Dept. of Informatics, Peking Univ., Beijing
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
Keywords :
Web services; formal verification; programming language semantics; specification languages; SPIN model checker; Web service choreography description language; choreography verification; formal model; model property verification; operational semantics; static validation; Collaborative work; Grounding; Informatics; Protocols; Software engineering; Standards development; Web services;
Conference_Titel :
Web Services, 2006. ICWS '06. International Conference on
Conference_Location :
Chicago, IL
Print_ISBN :
0-7695-2669-1
DOI :
10.1109/ICWS.2006.3
