A Process Algebra Approach for the Compatibility Analysis of Web Services

Compatibility of web services states the fitness of services that interact with each other, and closely related to substitutability of service peers. Compatibility includes both static features and dynamic behaviors of service peers. However, most researches in dealing with compatibility are limited in static checking and in synchronous communication environment. In this paper, we use CCS to describe dynamic behaviors of web services. We proposed algorithm for compatibility checking and discussed substitutability of web service in different levels. More over, we discussed compatibility in asynchronous communication by introducing special-purpose process operators, and verified its properties by the use of model checking in concurrency factory work bench.