Describing and Verifying Web Service Using CCS

Authors:
Li Bao;Weishi Zhang;Xiuguo Zhang
Affiliations:
Dalian Maritime University, China;Dalian Maritime University, China;Dalian Maritime University, China
Venue:
PDCAT '06 Proceedings of the Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies
Year:
2006

Citing 0
Cited 1

Synthesis of web services orchestrators in a timed setting

WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods

Quantified Score

Hi-index	0.00

Visualization

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.