Describing and Verifying Web Service by CCS on a Case Study

Author

Bao, Li ; Zhang, Weishi ; Zhang, Xiuguo

Author_Institution

Dalian Maritime Univ., Dalian

fYear

2008

fDate

6-8 April 2008

Firstpage

1571

Lastpage

1576

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICNSC.2008.4525471

Filename

4525471