Formal analysis of compatibility of Web services via CCS

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.