Title :
Formal analysis of compatibility of Web services via CCS
Author :
Liu, Fangfang ; Zhang, Liang ; Shi, Yuliang ; Lin, Lili ; Shi, Baile
Author_Institution :
Dept. of Comput. & Inf. Technol., Fudan Univ., China
Abstract :
Compatibility of Web services states the fitness of service peers that interact each other. It covers both static properties and dynamic behavior of Web services. Most researches deal with compatibility issue in the context of static checking. In this paper, we use a formal method, say CCS, to describe dynamic behavior of Web services. The formalization brings us the capability of reasoning on the dynamic aspects. We discuss compatibility at different levels so that we can clarify the impacts of it on composition and substitution of Web services. We also pay attention to context-independent substitutability which is useful in practice.
Keywords :
Internet; formal specification; CCS; Web services; communication and concurrency systems; context-independent substitutability; formal method; static checking; Algebra; Carbon capture and storage; Information analysis; Information technology; Internet; Peer to peer computing; Proposals; Service oriented architecture; Simple object access protocol; Web services; CCS; Compatibility; Substitutability; Web service;
Conference_Titel :
Next Generation Web Services Practices, 2005. NWeSP 2005. International Conference on
Print_ISBN :
0-7695-2452-4
DOI :
10.1109/NWESP.2005.43
