Expressing and verifying business contracts with abductive logic programming

被引：9
|
作者：
Alberti, Marco
Chesani, Federico
Gavanelli, Marco [1 ]
Lamma, Evelina [2 ]
Mello, Paola
Montali, Marco [3 ]
Torroni, Paolo [4 ]
机构：
[1] Univ Ferrara, Dept Engn, I-44100 Ferrara, Italy
[2] Univ Ferrara, Fac Engn, I-44100 Ferrara, Italy
[3] Univ Bologna, Dept Elect Informat & Syst, I-40126 Bologna, Italy
[4] Univ Bologna, Dept Elect Engn, I-40126 Bologna, Italy
来源：
INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE | 2008年 / 12卷 / 04期
关键词：
abductive logic programming; business contracts; declarative specifications; g-SCIFF; SCIFF; runtime verification; static verification;
D O I：
10.2753/JEC1086-4415120401
中图分类号：
F [经济];
学科分类号：
02 ;
摘要：
SCIFF is a declarative language, based on abductive logic programming, that accommodates forward rules, predicate definitions, and constraints over finite domain variables. Its abductive declarative semantics can be related to that of deontic operators; its operational specification is the sound and complete SCIFF proof procedure, defined as a set of transition rules implemented and integrated into a reasoning and verification tool. A variation of the SCIFF proof procedure (g-SCIFF) can be used for static verification of contract properties. The use of SCIFF for business contract specification and verification is demonstrated in a concrete scenario. Encoding of SCIFF contract rules in RuleML accommodates integration of SCIFF with architectures for business contracts.
引用
收藏
页码：9 / 38
页数：30
相关论文
共 50 条
  • [41] An abductive proof procedure for reasoning about actions in modal logic programming
    Baldoni, M
    Giordano, L
    Martelli, A
    Patti, V
    NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, 1997, 1216 : 132 - 150
  • [42] Abduction in logic programming: A new definition and an abductive procedure based on rewriting
    Lin, FZ
    You, JH
    ARTIFICIAL INTELLIGENCE, 2002, 140 (1-2) : 175 - 205
  • [43] Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture
    Alberti, Marco
    Cattafi, Massimiliano
    Chesani, Federico
    Gavanelli, Marco
    Lamma, Evelina
    Montali, Marco
    Mello, Paola
    Torroni, Paolo
    2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, 2009, : 254 - +
  • [44] Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions
    Chesani, Federico
    Mello, Paola
    Montali, Marco
    Torroni, Paolo
    INTELLIGENZA ARTIFICIALE, 2011, 5 (01) : 101 - 105
  • [45] SLDNFA: An abductive procedure for abductive logic programs
    Denecker, M
    De Schreye, D
    JOURNAL OF LOGIC PROGRAMMING, 1998, 34 (02): : 111 - 167
  • [46] Advice on abductive logic
    Gabbay, Dov
    Woods, John
    LOGIC JOURNAL OF THE IGPL, 2006, 14 (02) : 189 - 219
  • [47] Reasoning about temporal context using ontology and abductive constraint logic programming
    Zhu, HW
    Madnick, SE
    Siegel, MD
    PRINCIPLES AND PRACTICE OF SEMANTIC WEB REASONING, PROCEEDINGS, 2004, 3208 : 90 - 101
  • [48] A decision support system for bureaucratic policy administration: An abductive logic programming approach
    Ong, KL
    Lee, RM
    DECISION SUPPORT SYSTEMS, 1996, 16 (01) : 21 - 38
  • [49] Equivalence in Abductive Logic
    Inoue, Katsumi
    Sakama, Chiaki
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 472 - 477
  • [50] Abductive Logic Grammars
    Christiansen, Henning
    Dahl, Veronica
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 170 - +
12345