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 条
  • [21] Abductive Logic Programming for Normative Reasoning and Ontologies
    Gavanelli, Marco
    Lamma, Evelina
    Riguzzi, Fabrizio
    Bellodi, Elena
    Riccardo, Zese
    Cota, Giuseppe
    NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2017, 10091 : 187 - 203
  • [22] Reasoning on Datalog± Ontologies with Abductive Logic Programming
    Gavanelli, Marco
    Lamma, Evelina
    Riguzzi, Fabrizio
    Bellodi, Elena
    Zese, Riccardo
    Cota, Giuseppe
    FUNDAMENTA INFORMATICAE, 2018, 159 (1-2) : 65 - 93
  • [23] Coherent integration of databases by abductive logic programming
    Arieli, O
    Denecker, M
    Van Nuffelen, B
    Bruynooghe, M
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2004, 21 : 245 - 286
  • [24] An efficient propositional system for Abductive Logic Programming
    Gavanelli, Marco
    Julian-Iranzo, Pascual
    Saenz-Perez, Fernando
    ARTIFICIAL INTELLIGENCE REVIEW, 2024, 57 (12)
  • [25] Abductive Logic Programming in the Clinical Management of HIV/AIDS
    Ray, Oliver
    Antoniades, Athos
    Kakas, Antonis
    Demetriades, Ioannis
    ECAI 2006, PROCEEDINGS, 2006, 141 : 437 - +
  • [26] Accountable Protocols in Abductive Logic Programming (Extended Abstract)
    Gavanelli, Marco
    Alberti, Marco
    Lamma, Evelina
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (325):
  • [27] Evaluating Compliance: From LTL to Abductive Logic Programming
    Chesani, Federico
    Gavanelli, Marco
    Lamma, Evelina
    Mello, Paola
    Montali, Marco
    FUNDAMENTA INFORMATICAE, 2018, 159 (1-2) : 35 - 63
  • [28] Web sites verification: An abductive logic programming tool
    Mancarella, P.
    Terreni, G.
    Toni, F.
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 434 - +
  • [29] Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
    Bellodi, Elena
    Gavanelli, Marco
    Zese, Riccardo
    Lamma, Evelina
    Riguzzi, Fabrizio
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2021, 21 (05) : 557 - 574
  • [30] Interleaving belief updating and reasoning in abductive logic programming
    Sadri, Fariba
    Toni, Francesca
    ECAI 2006, PROCEEDINGS, 2006, 141 : 442 - +
12345