DMCA
Unary RDF-Annotated Petri Nets: A Formalism for the Modeling and Validation of Business Processes with Semantic Information
by
M. J. Ibáñez
,
P. Álvarez
,
S. Bhiri
BibTeX
@MISC{Ibáñez_unaryrdf-annotated,
author = {M. J. Ibáñez and P. Álvarez and S. Bhiri},
title = {Unary RDF-Annotated Petri Nets: A Formalism for the Modeling and Validation of Business Processes with Semantic Information},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
One of the basic problems in semantic business management concerns the validation of semantic business processes. This paper introduces the Unary RDF Annotated Petri net systems as a formalism to model and analyze business processes with RDF annotations to deal with semantic information from both, data and control flow points of view. In addition, it shows how to use the reachability graph in order to analyze some behavioral business process properties including semantic aspects.
