Sciweavers

ICSOC
2007
Springer

From OWL-S Descriptions to Petri Nets

14 years 5 months ago
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.
Antonio Brogi, Sara Corfini, Stefano Iardella
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where ICSOC
Authors Antonio Brogi, Sara Corfini, Stefano Iardella
Comments (0)