Title :
RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes
Author :
Ibáñez, María José ; Lvarez, Pedro Á ; Ezpeleta, Joaquín
Author_Institution :
Dept. of Comput. Sci. & Syst. Eng., Univ. of Zaragoza, Zaragoza, Spain
Abstract :
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.
Keywords :
business data processing; formal verification; semantic Web; RDF model checking; SPARQL tools; behavioral property verification; model description; semantic Web; semantic business processes; Computer science; Marine vehicles; Ontologies; Production; Proposals; Prototypes; Resource description framework; Runtime; Semantic Web; Systems engineering and theory; Behavioral analysis of Semantic Business Processes; Model Checking; Petri nets; RDF; SPARQL;
Conference_Titel :
Semantic Computing, 2009. ICSC '09. IEEE International Conference on
Conference_Location :
Berkeley, CA
Print_ISBN :
978-1-4244-4962-0
Electronic_ISBN :
978-0-7695-3800-6
DOI :
10.1109/ICSC.2009.13
