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 user’s input/output requirements but also the user’s behavioral constraints. It also analyzes the service dependencies and the complexity of OWL-S services tasks.
['Tao He', 'Huaikou Miao', 'Liping Li']
A Web Service Composition Method Based on Interface Matching