From OWL-S Descriptions to Petri Nets

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.

• Type: Conference
• Year: 2007
• Where: ICSOC
• Authors: Antonio Brogi, Sara Corfini, Stefano Iardella
• Keywords: Analyses Possible Thanks, Formal Analyses, ICSOC 2007, Petri Nets