Paper Info
Title
Toward the use of Petri nets for the formalization of OWL-S choreographies
Abstract
In this paper, we present a Petri net-based approach for modeling the choreography of semantic Web services which are described following the OWL-S specification. In our approach, each control construct of the OWL-S choreography is represented through a Petri net pattern that captures formally its operational semantics. The main difference between our work and the main proposals that model the semantics of OWL-S services choreography is that, although both approaches represent the service choreography with Petri nets, our proposal is also concerned with the practical execution of the Petri nets by the client. Therefore we also represent the flow of data, the outputs transformations, the effects in the environment, in addition to the structures that control the choreography of the services in our Petri net models. The implementation of the OWL-S choreography is performed in a Petri net ontology-based engine. This is another difference with traditional approaches that only use Petri nets for the analysis of the service properties. Furthermore, the use of an underlying ontology engine for supporting both the domain models of OWL-S services and the Petri net models provides several advantages in terms of reasoning, extension, and reuse.
Year
DOI
Venue
2012
10.1007/s10115-011-0451-z
Knowl. Inf. Syst.
Keywords
Field
DocType
owl-s service,main difference,service choreography,petri net-based approach,petri net,owl-s specification,ontology-based engine,owl-s services choreography,owl-s choreography,main proposal
Ontology (information science),Ontology,Operational semantics,Programming language,Petri net,Computer science,Service choreography,Choreography,Process architecture,OWL-S
Journal
Volume
Issue
ISSN
32
3
0219-3116
Citations 
PageRank 
References 
6
0.47
32
Authors
3
Name
Order
Citations
PageRank
Juan C. Vidal110211.58
Manuel Lama238334.84
Alberto Bugarín341448.75