Model Checking GSM-Based Multi-Agent Systems

被引：0
|
作者：
Gonzalez, Pavel [1 ]
Griesmayer, Andreas [2 ]
Lomuscio, Alessio [1 ]
机构：
[1] Univ London Imperial Coll Sci Technol & Med, Dept Comp, London, England
[2] ARM, Cambridge, England
来源：
SERVICE-ORIENTED COMPUTING - ICSOC 2013 WORKSHOPS | 2014年 / 8377卷
基金：
英国工程与自然科学研究理事会;
关键词：
VERIFICATION;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Artifact systems are a novel paradigm for implementing service oriented computing. Business artifacts include both data and process descriptions at interface level thereby providing more sophisticated and powerful service inter-operation capabilities. In this paper we put forward a technique for the practical verification of business artifacts in the context of multi-agent systems. We extend GSM, a modelling language for artifact systems, to multi-agent systems and map it into a variant of AC-MAS, a semantics for reasoning about artifact systems. We introduce a symbolic model checker for verifying GSM-based multi-agent systems. We evaluate the tool on a scenario from the service community.
引用
收藏
页码：54 / 68
页数：15
相关论文
共 50 条
  • [31] Reduction Model Checking for Multi-Agent Systems of Group Social Commitments
    AlFawwaz, Bader M.
    Al-Saqqar, Faisal
    AL-Shatnawi, Atallah
    COMPUTATION, 2022, 10 (06)
  • [32] Model checking algorithm for temporal logics of knowledge in multi-agent systems
    Wu, Li-Jun
    Su, Kai-Le
    Ruan Jian Xue Bao/Journal of Software, 2004, 15 (07): : 1012 - 1020
  • [33] Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems
    Ma, Zhanyou
    Li, Xia
    Liu, Ziyuan
    Huang, Ruiqi
    He, Nana
    FUZZY SETS AND SYSTEMS, 2024, 485
  • [34] Verifying Multi-agent Programs by Model Checking
    Rafael H. Bordini
    Michael Fisher
    Willem Visser
    Michael Wooldridge
    Autonomous Agents and Multi-Agent Systems, 2006, 12 : 239 - 256
  • [35] Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems
    Li, Xia
    Ma, Zhanyou
    Mian, Zhibao
    Liu, Ziyuan
    Huang, Ruiqi
    He, Nana
    CMC-COMPUTERS MATERIALS & CONTINUA, 2024, 78 (03): : 4129 - 4152
  • [36] Model checking multi-agent programs with CASP
    Bordini, RH
    Fisher, M
    Pardavila, C
    Visser, W
    Wooldridge, M
    COMPUTER AIDED VERIFICATION, 2003, 2725 : 110 - 113
  • [37] Verifying multi-agent programs by model checking
    Bordini, RH
    Fisher, M
    Visser, W
    Wooldridge, M
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2006, 12 (02) : 239 - 256
  • [38] SMT-based Safety Checking of Parameterized Multi-Agent Systems
    Felli, Paolo
    Gianola, Alessandro
    Montali, Marco
    THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 6321 - 6330
  • [39] Base-Based Model Checking for Multi-agent only Believing
    de Lima, Tiago
    Lorini, Emiliano
    Schwarzentruber, Francois
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 437 - 445
  • [40] Bounded model checking algorithm to reduce the state space in multi-agent systems
    Zhou, Cong-Hua
    Ye, Meng
    Wang, Chang-Da
    Liu, Zhi-Feng
    Ruan Jian Xue Bao/Journal of Software, 2012, 23 (11): : 2835 - 2861
12345