Unary RDF-Annotated Petri Nets: A formalism for the modeling and validation of business processes with semantic information

  1. Ibáñez, M.J. 1
  2. Álvarez, P. 1
  3. Bhiri, S. 2
  4. Ezpeleta, J. 1
  1. 1 Universidad de Zaragoza
    info

    Universidad de Zaragoza

    Zaragoza, España

    ROR https://ror.org/012a91z28

  2. 2 National University of Ireland
    info

    National University of Ireland

    Dublín, Irlanda

    ROR https://ror.org/00shsf120

Llibre:
ACM International Conference Proceeding Series

ISBN: 9781605585130

Any de publicació: 2009

Pàgines: 1-4

Tipus: Capítol de llibre

beta Ver similares en nube de resultados
DOI: 10.1145/1944968.1944969 SCOPUS: 2-s2.0-79952825672 GOOGLE SCHOLAR

Resum

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. Copyright 2009 ACM.