loading...
Describing and Verifying Web Service Using CCS
Taipei, Taiwan December 04-December 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PDCAT.2006.52Seventh International Conference on P ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Li Bao, Weishi Zhang, Xiuguo Zhang, "Describing and Verifying Web Service Using CCS," Parallel and Distributed Computing Applications and Technologies, International Conference on, pp. 421-426, Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/PDCAT.2006.52,
author = {Li Bao and Weishi Zhang and Xiuguo Zhang},
title = {Describing and Verifying Web Service Using CCS},
journal ={Parallel and Distributed Computing Applications and Technologies, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2736-1},
pages = {421-426},
doi = {http://doi.ieeecomputersociety.org/10.1109/PDCAT.2006.52},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel and Distributed Computing Applications and Technologies, International Conference on
TI - Describing and Verifying Web Service Using CCS
SN - 0-7695-2736-1
SP421
EP426
A1 - Li Bao,
A1 - Weishi Zhang,
A1 - Xiuguo Zhang,
PY - 2006
KW - null
VL - 0
JA - Parallel and Distributed Computing Applications and Technologies, International Conference on
ER -
 
Li Bao, Dalian Maritime University, China
Weishi Zhang, Dalian Maritime University, China
Xiuguo Zhang, Dalian Maritime University, China
Formal method is an effective way for modeling and verifying concurrent system. An important research field is to describe and verify Web services by formal method. Guaranteeing the validity of Web services composition is necessary for enhancing the value of this composite service. CCS is a kind of process algebra which can be used to model concurrent systems. Web services and their composition are described and modeled based on CCS in this paper. Rules about applying CCS to Web services are explained. Finally, a case study is carried and the validity of composition model is verified. Some important points in verification are discussed.
Citation:
Li Bao, Weishi Zhang, Xiuguo Zhang, "Describing and Verifying Web Service Using CCS," pdcat, pp.421-426, Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions