DocumentCode
3283552
Title
Verification of Web Service Conversations Specified in WSCL
Author
Gu, Zhifeng ; Li, Juanzi ; Tang, Jie ; Xu, Bin ; Huang, Ruobo
Author_Institution
Tsinghua Univ., Beijing
Volume
2
fYear
2007
fDate
24-27 July 2007
Firstpage
432
Lastpage
437
Abstract
This paper studies one of the standards about Web service conversations, the WSCL specification. We propose a method to verify conversations in WSCL. In this method we first propose using a translator to convert WSCL documents into promela, the modeling language of the model checker SPIN. Then, we run SPIN to check the conversation model against the correctness properties specified by the designer. A toolkit for WSCL verification is introduced at the end of this paper.
Keywords
Web services; formal specification; SPIN; WSCL documents; WSCL specification; Web service conversations; promela; Computer bugs; Context-aware services; Logic; Multiagent systems; Protocols; Web services;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International
Conference_Location
Beijing
ISSN
0730-3157
Print_ISBN
0-7695-2870-8
Type
conf
DOI
10.1109/COMPSAC.2007.235
Filename
4291158
Link To Document