An ACL for specifying fault-tolerant protocols

Authors:
Nicola Dragoni;Mauro Gaspari;Davide Guidi
Affiliations:
Dipartimento di Scienze dell'Informazione, University of Bologna, Italy;Dipartimento di Scienze dell'Informazione, University of Bologna, Italy;Dipartimento di Scienze dell'Informazione, University of Bologna, Italy
Venue:
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Year:
2005

Citing 12
Cited 2

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Deadlock Detection in Distributed Systems

Computer
Unreliable failure detectors for reliable distributed systems

Journal of the ACM (JACM)
KQML as an agent communication language

Software agents
Concurrency and knowledge-level communication in agent languages

Artificial Intelligence
Agent Communication Languages: Rethinking the Principles

Computer
An Algebra of Actors

Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Using Domain-Independent Exception Handling Services to Enable Robust Open Multi-Agent Systems: The Case of Agent Death

Autonomous Agents and Multi-Agent Systems
A Manifesto for Agent Technology: Towards Next Generation Computing

Autonomous Agents and Multi-Agent Systems
Towards Robust Multi-Agent Systems: Handling Communication Exceptions in Double Auctions

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Exception Diagnosis in Open Multi-Agent Systems

IAT '05 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver

IEEE Transactions on Computers

Fault tolerant knowledge level inter-agent communication in open Multi-Agent Systems: Thesis

AI Communications
Performative patterns for designing verifiable ACLs

CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.