Sciweavers

ICSOC
2007
Springer
13 years 11 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