An ACL for specifying fault-tolerant protocols

被引：0
|
作者：
Dragoni, N [1 ]
Gaspari, M [1 ]
Guidi, D [1 ]
机构：
[1] Univ Bologna, Dipartimento Sci Informaz, Bologna, Italy
来源：
AI*IA2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2005年 / 3673卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Agent Communication Languages (ACLs) have been developed to provide a way for agents to communicate with each other supporting cooperation in Multi-Agent Systems. In the past few years many ACLs have been proposed for Multi-Agent Systems and new standards are emerging such as FIPA ACL. Despite these efforts, an important issue in the research on ACLs is still open and concerns how these languages should deal with failures of agents in asynchronous Multi-Agent Systems. In this paper we present an asynchronous ACL which provide high-level mechanisms to deal with crash failures, one-to-many communication primitives and supports a fault-tolerant anonymous interaction protocol. To illustrate the expressive power of the language we show how it can be effectively used for the specification of fault tolerant protocols.
引用
收藏
页码：237 / 248
页数：12
相关论文
共 50 条
  • [1] An ACL for specifying fault-tolerant protocols
    Dragoni, Nicola
    Gaspari, Mauro
    Guidi, Davide
    [J]. APPLIED ARTIFICIAL INTELLIGENCE, 2007, 21 (4-5) : 361 - 381
  • [2] Verification of Fault-Tolerant Protocols with Sally
    Dutertre, Bruno
    Jovanovic, Dejan
    Navas, Jorge A.
    [J]. NASA FORMAL METHODS, NFM 2018, 2018, 10811 : 113 - 120
  • [3] Fault-tolerant simulation of population protocols
    Giuseppe A. Di Luna
    Paola Flocchini
    Taisuke Izumi
    Tomoko Izumi
    Nicola Santoro
    Giovanni Viglietta
    [J]. Distributed Computing, 2020, 33 : 561 - 578
  • [4] Fault-tolerant simulation of population protocols
    Di Luna, Giuseppe A.
    Flocchini, Paola
    Izumi, Taisuke
    Izumi, Tomoko
    Santoro, Nicola
    Viglietta, Giovanni
    [J]. DISTRIBUTED COMPUTING, 2020, 33 (06) : 561 - 578
  • [5] FAULT-TOLERANT DECENTRALIZED COMMIT PROTOCOLS
    YUAN, SM
    AGRAWALA, AK
    [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1991, 13 (03) : 299 - 311
  • [6] Temporal Verification of Fault-Tolerant Protocols
    Fisher, Michael
    Konev, Boris
    Lisitsa, Alexei
    [J]. METHODS, MODELS AND TOOLS FOR FAULT TOLERANCE, 2009, 5454 : 44 - 56
  • [7] A Sequentialization Procedure for Fault-Tolerant Protocols
    Dragoi, Cezara
    Pronesti, Patricio Inzaghi
    [J]. VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, 2023, 13800 : 52 - 71
  • [8] Specifying and Constructing a Fault-Tolerant Composite Service.
    Onditi, V. O.
    Dobson, G.
    Hutchinson, J.
    Walkerdine, J.
    Sawyer, P.
    [J]. PROCEEDINGS OF THE SIXTH IEEE EUROPEAN CONFERENCE ON WEB SERVICES, 2008, : 135 - 142
  • [9] A fault-tolerant scheme for multicast communication protocols
    Bista, BB
    [J]. 2005 Asia-Pacific Conference on Communications (APCC), Vols 1& 2, 2005, : 289 - 293
  • [10] Communication protocols for a fault-tolerant automated highway system
    Godbole, DN
    Lygeros, J
    Singh, E
    Deshpande, A
    Lindsey, AE
    [J]. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2000, 8 (05) : 787 - 800
12345