A Web Service Composition Method Based on Interface Matching

This paper proposes an automatic Web service composition method which considers both services input-output type compatibility and behavioral constraint compatibility based on Petri nets to raise the composition reliability. It presents a novel technique for discovering semantic relations between pre and post conditions of different services using their ontological descriptions. The technique takes semantic similarity of pre and post conditions into account and builds on work discovering semantic relationships between interfaces (input and output) of Web services. An algorithm is presented for obtaining the Petri net models of the composite Web services which satisfy not only the users input-output requirements but also the users behavioral constraints. It also analyzes the service dependencies and the complexity of OWL-S services tasks.