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.
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;
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
DOI :
10.1109/PDCAT.2006.52
