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 条
  • [1] Model checking based on fuzzy multi-agent systems
    Ma, Zhanyou
    Li, Xia
    Gao, Yingnan
    Liu, Ziyuan
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2024, 52 (11): : 64 - 71
  • [2] Model checking multi-agent systems
    Yuan Mengting
    Yu Chao
    2007 INTERNATIONAL CONFERENCE ON SERVICE SYSTEMS AND SERVICE MANAGEMENT, VOLS 1-3, 2007, : 567 - +
  • [3] Model Checking Multi-Agent Systems
    Bourahla, Mustapha
    Benmohamed, Mohamed
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2005, 29 (02): : 189 - 197
  • [4] A model checking algorithm for multi-agent systems
    Benerecetti, M
    Giunchiglia, F
    Serafini, L
    INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1999, 1555 : 163 - 176
  • [5] Abstraction for model checking multi-agent systems
    Zhou, Conghua
    Sun, Bo
    Liu, Zhifeng
    FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2011, 5 (01): : 14 - 25
  • [6] Model Checking Multi-agent Systems with APTL
    Wang, Haiyang
    Duan, Zhenhua
    Tian, Cong
    AD HOC & SENSOR WIRELESS NETWORKS, 2017, 37 (1-4) : 35 - 52
  • [7] STATISTICAL MODEL CHECKING OF MULTI-AGENT SYSTEMS
    Nigro, Libero
    Sciammarella, Paolo F.
    PROCEEDINGS - 31ST EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2017, 2017, : 11 - 17
  • [8] Dynamic model checking for multi-agent systems
    Osman, Nardine
    Robertson, David
    Walton, Christopher
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES IV, 2006, 4237 : 43 - +
  • [9] Abstraction for model checking multi-agent systems
    Conghua Zhou
    Bo Sun
    Zhifeng Liu
    Frontiers of Computer Science in China, 2011, 5 : 14 - 25
  • [10] Model checking multi-agent systems with logic based Petri nets
    Behrens, Tristan M.
    Dix, Juergen
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2007, 51 (2-4) : 81 - 121
12345