An ACL for specifying fault-tolerant protocols

被引：5

作者：

Dragoni, Nicola ^{[1
]}

Gaspari, Mauro ^{[1
]}

Guidi, Davide ^{[1
]}

机构：

[1] Univ Bologna, Dipartimento Sci Informaz, I-40127 Bologna, Italy

来源：

APPLIED ARTIFICIAL INTELLIGENCE | 2007年 / 21卷 / 4-5期

关键词：

D O I：

10.1080/08839510701252643

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Agent communication languages (ACLs) should allow the developer to adopt human-like communication mechanisms in agent programming, facilitating the development of distributed protocols in multi-agent systems (MASs). However, to implement robust protocols, ACLs should provide a way to deal with the failures of agents, as MASs are prone to the same failures that can occur in any distributed software system. In this paper, we address this issue showing how an asynchronous ACL that provides high-level mechanisms to deal with crash failures of agents can be effectively used to specify fault tolerant protocols.

引用

页码：361 / 381

页数：21

共 50 条

[1] An ACL for specifying fault-tolerant protocols
Dragoni, N
Gaspari, M
Guidi, D
[J]. AI*IA2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3673 : 237 - 248
[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

← 1 2 3 4 5 →