A Fault-Tolerant Directory Service for Mobile Agents based on Forwarding Pointers (2002)
| Venue: | In The 17th ACM Symposium on Applied Computing (SAC'2002) | Track on Agents, Interactions, Mobility and Systems |
| Citations: | 12 - 4 self |
BibTeX
@INPROCEEDINGS{Moreau02afault-tolerant,
author = {Luc Moreau},
title = {A Fault-Tolerant Directory Service for Mobile Agents based on Forwarding Pointers},
booktitle = {In The 17th ACM Symposium on Applied Computing (SAC'2002) | Track on Agents, Interactions, Mobility and Systems},
year = {2002},
pages = {22--27},
publisher = {Routledge, London and}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 terhn~que of forwarding pointers, introduces some redun-dancy in order to ensure resilience to stopping failures of nodes contaln~-g forwarding pointers; in addition, it avoids cyclic routing of messages, and it supports a technique to collapse chains of pointers that allows direct communica-tions between agents. We have formalised the algorithm and derived a]uil ~ mechanical proof of its correctness using the proof assistant Coq; we report on our experience of design-Lug the algorithm and deriving its proof of correctness. The complete source code of the proof is made aveglable f~om the WWW. 1.
