Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

26

ICSOC
2007
Springer

favoriteEmaildiscussreport

156views Applied Computing» more ICSOC 2007»

From OWL-S Descriptions to Petri Nets

14 years 5 months ago

From OWL-S Descriptions to Petri Nets

Download www.di.unipi.it

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

Real-time Traffic

Analyses Possible Thanks | Formal Analyses | ICSOC 2007 | Petri Nets |

claim paper

Related Content

» How to synthesize nets from languages a survey

» Synthesis of Asynchronous Hardware from Petri Nets

» Building Petri Nets from Video Event Ontologies

» Automating the transformationbased analysis of visual languages

» From RTLOTOS to Time Petri Nets New Foundations for a Verification Platform

» Translating Model Simulators to Analysis Models

» On the Expressiveness of Mobile Synchronizing Petri Nets

» Choreography Conformance Checking An Approach based on BPEL and Petri Nets

» Making Workflow Models Sound Using Petri Net Controller Synthesis

Post Info
More Details (n/a)

Added	08 Jun 2010
Updated	08 Jun 2010
Type	Conference
Year	2007
Where	ICSOC
Authors	Antonio Brogi, Sara Corfini, Stefano Iardella

Comments (0)