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
Argitalpen urtea: 2009
Orrialdeak: 245-252
Mota: Liburuko kapitulua
beta Ver similares en nube de resultadosLaburpena
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.