Modelling of Ontology-based Service Compositions using Petri Net

Yunni Xia,Xiang Zhang,Xin Luo,Qingsheng Zhu

doi:10.5755/j01.eee.19.2.3474

Yunni Xia, Xiang Zhang + Show 2 more

Open Access

https://doi.org/10.5755/j01.eee.19.2.3474

Copy DOI

Abstract

OWL-S, 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 OWL-S language. This approach employs Petri net as the fundamental means of modelling and defines a set of translation rules to map OWL-S 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 OWL-S example is also conducted to examine the effectiveness of the translation-based model. DOI: http://dx.doi.org/10.5755/j01.eee.19.2.3474

Highlights

Web Services are interfaces that describe a collection of operations that are network-accessible through standardized protocols, and whose features are described using a standard XML-based language
Web services in the Semantic Web are described through ontologies, which represent formally the service features by using a semantic mark-up language that follows a logical paradigm
The main objective of this research is the development of a feature-completed formal model for describing OWL-S processes, paving the way for analyzing the ontologybased services by exploiting the formalization and reasoning power of Petri nets

Summary

INTRODUCTION

Web Services are interfaces that describe a collection of operations that are network-accessible through standardized protocols, and whose features are described using a standard XML-based language. The main objective of this research is the development of a feature-completed formal model for describing OWL-S processes, paving the way for analyzing the ontologybased services by exploiting the formalization and reasoning power of Petri nets. This approach is based on a set of translation rules to map OWL-S elements into equivalent Petri net representations. They capture the main aspect of service invocations, the behavioural patterns for atomic/composite processes, and the control flow of the service model.

MODEL TRANSLATION OF OWL-S

A CASE STUDY

CONCLUSIONS