RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes

被引：2

作者：

Jose Ibanez, Maria ^{[1
]}

Alvarez, Pedro ^{[1
]}

Ezpeleta, Joaquin ^{[1
]}

机构：

[1] Univ Zaragoza, Dept Comp Sci & Syst Engn, Aragon Inst Engn Res I3A, E-50018 Zaragoza, Spain

来源：

2009 IEEE THIRD INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC 2009) | 2009年

关键词：

Behavioral analysis of Semantic Business Processes; Model Checking; RDF; SPARQL; Petri nets;

D O I：

10.1109/ICSC.2009.13

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：245 / 252

页数：8