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

fYear

2005

fDate

22-26 Aug. 2005

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Next Generation Web Services Practices, 2005. NWeSP 2005. International Conference on

Print_ISBN

0-7695-2452-4

Type

conf

DOI

10.1109/NWESP.2005.43

Filename

1592420