loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth International Conference on Grid and Cooperative Computing (GCC'06)
A Model Checking Tool Embedded into Services Composition Environment
Hunan, China
October 21-October 23
ISBN: 0-7695-2694-2
ASCII Text
x 
 
Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen, "A Model Checking Tool Embedded into Services Composition Environment," Grid and Cloud Computing, International Conference on, pp. 355-362, Fifth International Conference on Grid and Cooperative Computing (GCC'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/GCC.2006.11,
author = {Chunming Gao and Rongsheng Liu and Yan Song and Huowang Chen},
title = {A Model Checking Tool Embedded into Services Composition Environment},
journal ={Grid and Cloud Computing, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2694-2},
pages = {355-362},
doi = {http://doi.ieeecomputersociety.org/10.1109/GCC.2006.11},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Grid and Cloud Computing, International Conference on
TI - A Model Checking Tool Embedded into Services Composition Environment
SN - 0-7695-2694-2
SP355
EP362
A1 - Chunming Gao,
A1 - Rongsheng Liu,
A1 - Yan Song,
A1 - Huowang Chen,
PY - 2006
KW - Pi-calculus type system web services Composition verification tool compatibility
VL - 0
JA - Grid and Cloud Computing, International Conference on
ER -
 
Chunming Gao, Hunan Normal University, China; National University of Defense Technology, China
Rongsheng Liu, Hunan Normal University, China
Yan Song, Hunan Normal University, China
Huowang Chen, National University of Defense Technology, China
This paper proposes a tool for formal verification of web services composition based on an extended picalculus with type system and the conversion between BPEL and pi-calculus. This tool integrates three kinds of formal verification techniques, including open bisimulation, properties checking based on modal mucalculus and the compatibility checking of composite web services based on Pi-calculus. With the combination checking techniques, the properties that service composition orchestration holds at abstract control flow level are checked, which achieve more completely validity checking about the orchestration. To check automatically, the automatic conversion between BPEL4WS and pi-calculus is introduced to this tool, and also the error slice for the orchestration are automatically marked. Further more, a novel method for discovering and matching web services is proposed ,which is under the guidance of checking web services compatibility.
Index Terms:
Pi-calculus type system web services Composition verification tool compatibility
Citation:
Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen, "A Model Checking Tool Embedded into Services Composition Environment," gcc, pp.355-362, Fifth International Conference on Grid and Cooperative Computing (GCC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.