loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
30th Annual International Computer Software and Applications Conference (COMPSAC'06)
An Interface Theory Based Approach to Verification of Web Services
Chicago, Illinois
September 17-September 21
ISBN: 0-7695-2655-1
ASCII Text
x 
 
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, W.L. Yeung, "An Interface Theory Based Approach to Verification of Web Services," Computer Software and Applications Conference, Annual International, vol. 2, pp. 139-144, 30th Annual International Computer Software and Applications Conference (COMPSAC'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2006.112,
author = {Zhenbang Chen and Ji Wang and Wei Dong and Zhichang Qi and W.L. Yeung},
title = {An Interface Theory Based Approach to Verification of Web Services},
journal ={Computer Software and Applications Conference, Annual International},
volume = {2},
year = {2006},
issn = {0730-3157},
pages = {139-144},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2006.112},
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 - An Interface Theory Based Approach to Verification of Web Services
SN - 0730-3157
SP139
EP144
A1 - Zhenbang Chen,
A1 - Ji Wang,
A1 - Wei Dong,
A1 - Zhichang Qi,
A1 - W.L. Yeung,
PY - 2006
KW - null
VL - 2
JA - Computer Software and Applications Conference, Annual International
ER -
 
Zhenbang Chen, National Laboratory for Parallel and Distributed Processing, China
Ji Wang, National Laboratory for Parallel and Distributed Processing, China
Wei Dong, National Laboratory for Parallel and Distributed Processing, China
Zhichang Qi, National Laboratory for Parallel and Distributed Processing, China
W.L. Yeung, Lingnan University, Hong Kong
The verification of web services becomes a challenge in software verification. This paper presents a framework for verification of web service interfaces at various abstraction levels. Its foundation is the interface theory for web services, in which transaction features are incorporated. Within the framework, one may check non mutual invocation, compatibility and refinement of web services at signature, conversation and protocol levels. At protocol level, we present a model checking approach to verifying the protocol properties in Action Set Computation Tree Logic(ASCTL). The paper also discusses the integration of our framework into the web service development.
Citation:
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, W.L. Yeung, "An Interface Theory Based Approach to Verification of Web Services," compsac, vol. 2, pp.139-144, 30th Annual International Computer Software and Applications Conference (COMPSAC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.