Sciweavers

ICSOC
2007
Springer
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 pape...
Antonio Brogi, Sara Corfini, Stefano Iardella