Unary RDF-annotated petri nets: a formalism for the modeling and validation of business processes with semantic information

Authors:
M. J. Ibáñez;P. Álvarez;S. Bhiri;J. Ezpeleta
Affiliations:
University of Zaragoza, Spain;University of Zaragoza, Spain;National University of Ireland, Ireland;University of Zaragoza, Spain
Venue:
Proceedings of the 4th International Workshop on Semantic Business Process Management
Year:
2009

Citing 2
Cited 0

Beyond Soundness: On the Semantic Consistency of Executable Process Models

ECOWS '08 Proceedings of the 2008 Sixth European Conference on Web Services
On the semantics of service compositions

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems

Quantified Score

Hi-index	0.00

Visualization

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.