An ACL for Specifying Fault-Tolerant Protocols

• Published in: AIIA 2005: Advances in Artificial Intelligence pp. 237 - 248
• Main Authors: Dragoni, Nicola, Gaspari, Mauro, Guidi, Davide
• Format: Book Chapter Conference Proceeding
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg 2005; Springer
• Series: Lecture Notes in Computer Science
• Subjects: Agent Communication Language; Applied sciences; Artificial intelligence; Communication Primitive; Computer science; control theory; systems; Correct Agent; Exact sciences and technology; Failure Detector; Multiagent System; Communication process; Multiagent system; Communication primitive; Anonymity; Crash failure; Artificial intelligence; Fault tolerant system; Asynchronous transmission
• DOI: 10.1007/11558590_24
• ISBN: 9783540290414; 3540290419
• ISSN: 0302-9743

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.