loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2007 31st Annual International Computer Software and Applications Conference
Verification of Web Service Conversations Specified in WSCL
Beijing, China
July 24-July 27
ISBN: 0-7695-2870-8
ASCII Text
x 
 
Zhifeng Gu, Juanzi Li, Jie Tang, Bin Xu, Ruobo Huang, "Verification of Web Service Conversations Specified in WSCL," Computer Software and Applications Conference, Annual International, vol. 2, pp. 432-437, 2007 31st Annual International Computer Software and Applications Conference, 2007.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2007.235,
author = {Zhifeng Gu and Juanzi Li and Jie Tang and Bin Xu and Ruobo Huang},
title = {Verification of Web Service Conversations Specified in WSCL},
journal ={Computer Software and Applications Conference, Annual International},
volume = {2},
year = {2007},
issn = {0730-3157},
pages = {432-437},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.235},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Verification of Web Service Conversations Specified in WSCL
SN - 0730-3157
SP432
EP437
A1 - Zhifeng Gu,
A1 - Juanzi Li,
A1 - Jie Tang,
A1 - Bin Xu,
A1 - Ruobo Huang,
PY - 2007
KW - null
VL - 2
JA - Computer Software and Applications Conference, Annual International
ER -
 
Zhifeng Gu, DCST, Tsinghua Univ., Beijing, 100084, China
Juanzi Li, DCST, Tsinghua Univ., Beijing, 100084, China
Jie Tang, DCST, Tsinghua Univ., Beijing, 100084, China
Bin Xu, DCST, Tsinghua Univ., Beijing, 100084, China
Ruobo Huang, CSDL, IBM, Beijing, 100085, China
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.
Citation:
Zhifeng Gu, Juanzi Li, Jie Tang, Bin Xu, Ruobo Huang, "Verification of Web Service Conversations Specified in WSCL," compsac, vol. 2, pp.432-437, 2007 31st Annual International Computer Software and Applications Conference, 2007
Usage of this product signifies your acceptance of the Terms of Use.