Modelling of Ontology-based Service Compositions using Petri Net

Abstract

OWLS , one of the most significant Semantic web service ontologies , provides Web Service providers with a core ontological framework and guidelines for describing the properties and capabilities of their web Services in unambiguous, computer interpretable form. In this work we present a translation-based approach for modelling the semantic Web services described in the OWLS language. This approach employs Petri net as the fundamental means of modelling and defines a set of translation rules to map OWLS elements into equivalent Petri net representations. They capture the main aspect of service invocations and the control flow of the service model. A case study based on a real-world OWLS example is also conducted to examine the effectiveness of the translation-based model.