RDF model checking: A technique to verify behavioral properties in semantically annotated business processes
- Ibáñez, M.J. 1
- Álvarez, P. 1
- Ezpeleta, J. 1
-
1
Universidad de Zaragoza
info
ISBN: 9780769538006
Año de publicación: 2009
Páginas: 245-252
Tipo: Capítulo de Libro
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.