DocumentCode
2926418
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
fYear
2006
fDate
18-22 Sept. 2006
Firstpage
893
Lastpage
894
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Web Services, 2006. ICWS '06. International Conference on
Conference_Location
Chicago, IL
Print_ISBN
0-7695-2669-1
Type
conf
DOI
10.1109/ICWS.2006.3
Filename
4032109
Link To Document