DocumentCode
1809721
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
fYear
2007
fDate
18-21 Sept. 2007
Firstpage
987
Lastpage
994
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Network and Parallel Computing Workshops, 2007. NPC Workshops. IFIP International Conference on
Conference_Location
Liaoning
Print_ISBN
978-0-7695-2943-1
Type
conf
DOI
10.1109/NPC.2007.85
Filename
4351615
Link To Document