A Fault-Tolerant Directory Service for Mobile Agents based on Forwarding Pointers
Moreau, Luc (2002) A Fault-Tolerant Directory Service for Mobile Agents based on Forwarding Pointers. The 17th ACM Symposium on Applied Computing (SAC'2002) --- Track on Agents, Interactions, Mobility and Systems , 93.
Download
Full text not available from this repository.
Description/Abstract
A reliable communication layer is an essential component of a mobile agent system. We present a new fault-tolerant directory service for mobile agents, which can be used to route messages to them. The directory service, based on a technique of forwarding pointers, introduces some redundancy in order to ensure resilience to stopping failures of nodes containing forwarding pointers; in addition, it avoids cyclic routing of messages, and it supports a technique to collapse chains of pointers that allows direct communications between agents. We have formalised the algorithm and derived a fully mechanical proof of its correctness using the proof assistant Coq; we report on our experience of designing the algorithm and deriving its proof of correctness. The complete source code of the proof is made available from the WWW.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Address: Madrid, Spain |
| ISBNs: | 1581134452 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 256401 |
| Date Deposited: | 22 Mar 2002 |
| Last Modified: | 01 Mar 2012 10:47 |
| Contributors: | Moreau, Luc (Author) |
| Date: | March 2002 |
| Additional Information: | Address: Madrid, Spain |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/256401 |
Actions (login required)
 |
View Item |
