Title :
A CCS based Model for Describing and Verifying the Behavior of Web Service
Author :
Cao, Zhiying ; Bao, Li ; Zhang, Weishi
Author_Institution :
Dalian Maritime Univ., Dalian
Abstract :
Guaranteeing the correct behavior of Web service composition which is composed of independent, communicating Web services is an essential problem. A CCS-based model which generalizes the behavior of Web services and their composition is proposed in this paper. The application of this model is further investigated in a case study.
Keywords :
Web services; CCS based model; calculus of communicating system; communicating Web services; Algebra; Application software; Carbon capture and storage; Computer science; Formal specifications; Object oriented modeling; Parallel processing; Petri nets; Process design; Web services;
Conference_Titel :
Network and Parallel Computing Workshops, 2007. NPC Workshops. IFIP International Conference on
Conference_Location :
Liaoning
Print_ISBN :
978-0-7695-2943-1
DOI :
10.1109/NPC.2007.85
