A CCS based Model for Describing and Verifying the Behavior of Web Service
Zhiying Cao, Bao Li, Weishi Zhang · 2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007) · 2007
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.