The University of Southampton
University of Southampton Institutional Repository

Distributed Directory Service and Message Router for Mobile Agents

Record type: Monograph (Project Report)

Research about networks and agents has identified the need for a layer that provides a uniform protocol to communicate with fixed and mobile agents. In order to preserve the compatibility with existing infrastructures, proposed solutions have involved a "home agent", which forwards messages to a mobile entity. The mechanism of a home agent puts a burden on the infrastructure, which may hamper the scalability of the approach, in particular, in massively distributed systems, such as the amorphous computer or the ubiquitous/pervasive computing environment. Free from any compatibility constraint, we have designed an algorithm to route messages to mobile agents that does not require any fixed location. The algorithm has two different facets: a distributed directory service that maintains distributed information about the location of a mobile agent, and a message router that uses the directory service to deliver messages to a mobile agent. Two properties of the algorithm were established. The safety property ensures that messages are delivered to the agent they were aimed at, whereas the liveness property guarantees that messages eventually get delivered. A mechanical proof of the properties was carried out using the proof assistant Coq.

PDF mob - Accepted Manuscript
Download (21MB)

Citation

Moreau, Luc (1999) Distributed Directory Service and Message Router for Mobile Agents University of Southampton

More information

Published date: 1999
Additional Information: Address: ECSTR M99/3
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 252747
URI: http://eprints.soton.ac.uk/id/eprint/252747
PURE UUID: 0fb0e49b-5ed6-4c2e-8d5e-2220ded6b46f
ORCID for Luc Moreau: ORCID iD orcid.org/0000-0002-3494-120X

Catalogue record

Date deposited: 17 Apr 2000
Last modified: 18 Jul 2017 10:02

Export record

Contributors

Author: Luc Moreau ORCID iD

University divisions


Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×