Petri Net Semantics for OWL-S Service Choreography

In this work we present a Petri net semantics of the choreography of semantic Web services described in the OWL-S language. The described semantics covers the service model of OWL-S which is focussed on the definition of processes. Our proposal defines a Petri net pattern for each construct identified in OWL-S and describes the way these patterns can be combined in order to define a Petri net for every process specified in OWL-S.

keywords: