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 条
  • [21] A fault-tolerance mechanism for mobile agent systems
    Leung, Kwai Ki
    Ng, Kam Wing
    [J]. INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION JOINTLY WITH INTERNATIONAL CONFERENCE ON INTELLIGENT AGENTS, WEB TECHNOLOGIES & INTERNET COMMERCE, VOL 1, PROCEEDINGS, 2006, : 1006 - +
  • [22] Specifying Fault-Tolerance Using Split Precondition Logic (Short Paper)
    Singh, Awadhesh Kumar
    Bandyopadhyay, Anup Kumar
    [J]. DISTRIBUTED COMPUTING AND NETWORKING, PROCEEDINGS, 2010, 5935 : 466 - +
  • [23] Towards a Predictive Fault Tolerance Approach in Multi-Agent Systems
    Telghamti, Samira
    Maamri, Ramdane
    [J]. AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, 2011, 6682 : 123 - 129
  • [24] On fault tolerance in law-governed multi-agent systems
    Gatti, Mafra A. de C.
    de Carvalho, Gustavo R.
    de Paes, Rodrigo B.
    de Lucena, Carlos J. P.
    Briot, Jean-Pierre
    [J]. SOFTWARE ENGINEERING FOR MULTI-AGENT SYSTEMS V: RESEARCH ISSUES AND PRACTICAL APPLICATIONS, 2007, 4408 : 1 - +
  • [25] Multi-Agent System for Fault Tolerance in Wireless Sensor Networks
    Lee, HwaMin
    Min, Se Dong
    Choi, Min-Hyung
    Lee, DaeWon
    [J]. KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2016, 10 (03): : 1321 - 1332
  • [26] Multi-Agent Fault Tolerance Inspired by a Computational Analysis of Cancer
    Olsen, Megan
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 1994 - 1995
  • [27] A predictive method for providing fault tolerance in multi-agent systems
    de Luna Almeida, Alessandro
    Aknine, Samir
    Briot, Jean-Pierre
    Malenfant, Jacques
    [J]. 2006 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2006, : 226 - +
  • [28] Multi-agent Algorithm for Re-allocating Grid-resources and Improving Fault-tolerance of Problem-solving Processes
    Feoktistov, Alexander
    Kostromin, Roman
    Sidorov, Ivan
    Gorsky, Sergey
    Oparin, Gennady
    [J]. PROCEEDINGS OF THE 13TH INTERNATIONAL SYMPOSIUM INTELLIGENT SYSTEMS 2018 (INTELS'18), 2019, 150 : 171 - 178
  • [29] Adaptive cooperative fault-tolerance tracking control for multi-agent system with hybrid actuator faults and multiple unknown control directions
    Zhang, Pu
    Xue, Huifeng
    Gao, Shan
    Zuo, Xuan
    Zhang, Jialong
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2022, 197
  • [30] Configurable mobile agent and its fault-tolerance mechanism
    Wu, CG
    Liu, SH
    Wang, B
    Shi, ZZ
    Gu, H
    [J]. 2001 INTERNATIONAL CONFERENCE ON COMPUTER NETWORKS AND MOBILE COMPUTING, PROCEEDINGS, 2001, : 380 - 389
12345