Describing and Verifying Web Service by CCS on a Case Study
Bao Li, Weishi Zhang, Xiuguo Zhang · 2008
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 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.