Title :
Describing and Verifying Web Service by CCS on a Case Study
Author :
Bao, Li ; Zhang, Weishi ; Zhang, Xiuguo
Author_Institution :
Dalian Maritime Univ., Dalian
Abstract :
Formal method is an effective way for modeling and verifying software system. Describing and verifying Web services by formal method is an important research field. Guaranteeing the validity of Web services composition is necessary for enhancing the value of services. CCS (calculus of communicating system) is a kind of process algebra which can be used to model concurrent systems. Web services and their composition are described and verified based on CCS in this paper. Some differences among the CCS and other formal methods are discussed. Rules about applying CCS to Web services are explained. Finally, a demo is constructed and the validity of composition model is verified. Some important points in verification are discussed.
Keywords :
Web services; concurrency control; formal specification; formal verification; process algebra; Web service verification; calculus of communicating system; concurrent systems; formal method; process algebra; software system verification; Algebra; Application software; Carbon capture and storage; Computer architecture; Computer industry; Computer science; Power system modeling; Service oriented architecture; Software systems; Web services;
Conference_Titel :
Networking, Sensing and Control, 2008. ICNSC 2008. IEEE International Conference on
Conference_Location :
Sanya
Print_ISBN :
978-1-4244-1685-1
Electronic_ISBN :
978-1-4244-1686-8
DOI :
10.1109/ICNSC.2008.4525471
