Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction

被引：0
|
作者：
Ball, Elisabeth [1 ]
Butler, Michael [1 ]
机构：
[1] Univ Southampton, Southampton SO9 5NH, Hants, England
来源：
METHODS, MODELS AND TOOLS FOR FAULT TOLERANCE | 2009年 / 5454卷
关键词：
SOFTWARE; DESIGN;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Interaction in a multi-agent system is susceptible to failure. A rigorous development of a multi-agent system must include the treatment of fault-tolerance of agent interactions for the agents to be able to continue to function independently. Patterns can be used to capture fault-tolerance techniques. A set of modelling patterns is presented that specify fault-tolerance in Event-B specifications of multi-agent interactions. The purpose of these patterns is to capture common modelling structures for distributed agent interaction in a form that is re-usable on other related developments. The patterns have been applied to a case study of the contract net interaction protocol.
引用
收藏
页码：104 / 129
页数：26
相关论文
共 50 条
  • [1] Fault-tolerance for multi-agent systems
    M.M. Institute of Computer Technology and Business Management, M.M. University, Mullana, Haryana, India
    不详
    [J]. Proc. - IEEE Int. Conf. Comput. Sci. Autom. Eng., CSAE, (53-57):
  • [2] Event-B based verification of interaction properties in multi-agent systems
    Ayed, Leila Jemni Ben
    Siala, Fatma
    [J]. Journal of Software, 2009, 4 (04) : 357 - 364
  • [3] Verifying Fault-tolerance in Parameterised Multi-Agent Systems
    Kouvaros, Panagiotis
    Lomuscio, Alessio
    [J]. PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 288 - 294
  • [4] Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
    Kouvaros, Panagiotis
    Lomuscio, Alessio
    Pirovano, Edoardo
    [J]. PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 324 - 330
  • [5] Distributed adaptive fault-tolerance consensus control for multi-agent system
    Zhang, Pu
    Xue, Huifeng
    Gao, Shan
    [J]. Hangkong Xuebao/Acta Aeronautica et Astronautica Sinica, 2020, 41 (03):
  • [6] Coordinated Consensus Analysis of Multi-agent Systems Using Event-B
    Truong, Ninh-Thuan
    Trinh, Thanh-Binh
    Nguyen, Viet-Ha
    [J]. SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 201 - +
  • [7] Modelling a Multi-Agent System Relating to Liveness Properties in Event-B
    Negreanu, Lorina
    [J]. STUDIES IN INFORMATICS AND CONTROL, 2014, 23 (04): : 351 - 358
  • [8] Modeling and Proof of Event-driven Interaction in Multi Agent Systems in Event-B
    Negreanu, Lorina
    Popovici, Matei
    [J]. 19TH INTERNATIONAL CONFERENCE ON CONTROL SYSTEMS AND COMPUTER SCIENCE (CSCS 2013), 2013, : 180 - 183
  • [9] Event-B specification of a situated Multi-Agent System: Study of a platoon of vehicles
    Lanoix, Arnaud
    [J]. TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 297 - 304
  • [10] Specifying Protocols for Multi-Agent Systems Interaction
    Poslad, Stefan
    [J]. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2007, 2 (04)
12345