Verifying Web services in a choreography environment

The advances of communication technologies and standardization efforts have dramatically increase the interactions between organizations in recent years, and Web services have become a de-facto standard for organizations to provide information and services. There are two different perspectives to describe Web service composition: orchestration and choreography. This work focuses on choreography model. While there exist quite a few works that verify a choreography model so as to alleviating some problems such as deadlock, the verification of implementations based on a choreography model has not be fully addressed. In this work, we propose an approach to verifying the conformance of a set of Web services to a given choreography model and pruning those candidate Web services that do not comply with the choreography model. The proposed approach is evaluated by simulating 10,000 execution sequences of composite Web services to show how it improves the effectiveness and efficiency of subsequent web services selection. Preliminary experimental results show that our proposed method improves the success rate of Web services selection by pruning unsuitable candidate Web services at an early stage.