DocumentCode
2053429
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
fYear
2009
fDate
14-16 Sept. 2009
Firstpage
245
Lastpage
252
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICSC.2009.13
Filename
5298625
Link To Document