From OWL-S Descriptions to Petri Nets

Abstract

While OWL-S advertisements provide a rich (ontological and behavioural) description of Web services, there are no tools that support formal analyses of OWL-S services. In this paper we present a translator from OWL-S descriptions to Petri nets which makes such analyses possible thanks to the many tools available for Petri nets.Work partially supported by the SMEPP project (EU-FP6-IST 0333563).

Quality-of-service in cloud computing: modeling techniques and their applications

“…Petri nets have been extended to consider stochastic transitions, in stochastic Petri nets (SPNs) and generalized SPNs (GSPNs). They have recently enjoyed http://www.jisajournal.com/content/5/1/11 a resurgence of interest in service-oriented systems to describe service orchestrations [67].…”

Towards the Automatic Generation of Petri nets for the OWL-S-based Complex Processes

“…Compared with the traditional work such as [9] and [10], the method in this paper focuses on the data flow of large-grained Web services. It analyzes the relationship among the individual atomic processes of the composite process represented by OWL-S, and translates the atomic process, input, output and control construct to the corresponding elements of Petri net.…”

“…Thus, according to the description of large-grained Web service to get the corresponding Petri net has important significance. In [9], Brogi et al present a method which focuses on the control flow and translates the OWL-S composite service into Petri net automatically. Meanwhile, Yu et al regard the pre-condition and effect as the core to describe the internal behavior of OWL-S composite process [10].…”

Modelling of Ontology-based Service Compositions using Petri Net

“…OWL-S is a computer-interpretable semantic mark-up language, where, for the first time, ontology-based descriptions of service functionality and of interaction service behaviour coexist. Recently, various research contributions have been proposed in formalization and functional verification of OWL-S. For example, researches based on Petri nets [2], [3], process algebra [4] and other formal models [5] are introduced to capture the behavioral patterns of the service ontologies and verify formal and functional properties (e.g., deadlockfreeness, boundedness, interface compatibility, and liveness). However, there are still many limitations in the abovementioned models, e.g., the incomplete modelling of the process model, the absence of modelling service grounding, and the absence of modelling timeout in the atomic process, .etc.…”