Describing and Verifying Web Service by CCS on a Case Study

  title={Describing and Verifying Web Service by CCS on a Case Study},
  author={Li Bao and Weishi Zhang and Xiuguo Zhang},
  journal={2008 IEEE International Conference on Networking, Sensing and Control},
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… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.

An Introduction to Milner's CCS

  • Luca Aceto, Kim G. Larsen, Anna Ing'olfsd'ottir
  • 2005
2 Excerpts

CCS : Processes and Equivalences

  • Mads Dam.
  • Proceedings ofthe International Conference on…
  • 2005

Similar Papers

Loading similar papers…