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
相关论文
共 14 条
  • [1] [Anonymous], 2008, W3C RECOMMENDATION
  • [2] [Anonymous], TEMPORAL MODAL LOGIC
  • [3] Anyanwu K., 2007, WWW, P797, DOI [10.1145/1242572.1242680, DOI 10.1145/1242572.1242680]
  • [4] Arenas Marcelo, 2008, EXTENSION SPARQL RDF, P1
  • [5] Clarke E.M., 1981, WORKSH LOG PROGR, P52, DOI [DOI 10.1007/BFB0025774, 10.1007/978-3-540-69850-0_12]
  • [6] DEMEDEIROS AKA, OTM07 WORKSH
  • [7] Hayes P., 2004, RDF semantics
  • [8] IBANEZ MJ, 2009, ACM SBPM09 IN PRESS
  • [9] MEYER H, 2007, P 1 INT C WEB REAS R
  • [10] Pnueli A., 1977, 18 ANN S FDN COMP SC
12