A Method for Detecting Behavioral Mismatching Web Services

Service composition is becoming a central aspect in service-oriented computing. In practice, most Web services can not be integrated directly into an application-to-be because they are incompatible. How to ensure Web services compatible at the behavioral level is an important issue for Web services integration and collaboration in a seamless way. Based on the proposed formal model for Web service interfaces, the semantics of composite Web service is defined under the assumption of synchronous communications, furthermore, the condition for detecting behavioral mismatches among multiple Web services is derived, which relies on an abstract notation based on labeled transition systems. Our method is supported by an algorithm that can automatically build the synchronous product for a set of Web service behavioral interfaces. Meanwhile, we illustrate them on a simple example.