RDF model checking: A technique to verify behavioral properties in semantically annotated business processes

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

    Universidad de Zaragoza

    Zaragoza, España

    ROR https://ror.org/012a91z28

Libro:
ICSC 2009 - 2009 IEEE International Conference on Semantic Computing

ISBN: 9780769538006

Año de publicación: 2009

Páginas: 245-252

Tipo: Capítulo de Libro

DOI: 10.1109/ICSC.2009.13 SCOPUS: 2-s2.0-73449100123 GOOGLE SCHOLAR

Resumen

Semantic Business Processes require new analysis techniques able to deal with behavioral properties that also consider semantic aspects. In this paper, a model checking method is introduced including semantic aspects in both the model description and the formula to be verified. Finally a prototype of the model checker based on the use of RDF and SPARQL tools is also described. © 2009 IEEE.