DocumentCode
2928262
Title
Describing and Verifying Web Service Using CCS
Author
Bao, Li ; Zhang, Weishi ; Zhang, Xiuguo
Author_Institution
Dept. of Comput. Sci. & Technol., Dalian Maritime Univ.
fYear
2006
fDate
Dec. 2006
Firstpage
421
Lastpage
426
Abstract
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
Keywords
Web services; concurrency control; formal verification; process algebra; CCS; Web service verification; composite service; concurrent system; formal method; process algebra; Algebra; Application software; Carbon capture and storage; Computer science; Concurrent computing; IP networks; Logic; Object oriented modeling; Web and internet services; Web services;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Computing, Applications and Technologies, 2006. PDCAT '06. Seventh International Conference on
Conference_Location
Taipei
Print_ISBN
0-7695-2736-1
Type
conf
DOI
10.1109/PDCAT.2006.52
Filename
4032219
Link To Document