Abstract:
We study the distributed infrastructures required for location-independent communication between migrating agents. These infrastructures are problematic: different applications may have very different patterns of migration and communication, and require different performance and robustness properties; algorithms must be designed with these in mind. To study this problem we introduce an agent programming language-- Nomadic Pict. It is designed to allow infrastructure algorithms to be expressed as clearly as possible, as translations from a high-level language to a low level. The levels are based on rigorously-defined process calculi, they provide sharp levels of abstraction. In this paper we describe the language and use it to develop an infrastructure for an example application. The language and examples have been implemented; we conclude with a description of the compiler and runtime. 1
Citations
|
899
|
A calculus of mobile processes
– Milner, Parrow, et al.
- 1992
|
|
295
|
Mobile agents: Are they a good idea
– Harrison, Chess, et al.
- 1995
|
|
285
|
M.: An Object Calculus for Asynchronous Communication
– Honda, Tokoro
- 1991
|
|
240
|
D.: Pict: A Programming Language Based on the Pi-Calculus
– Pierce, Turner
- 2000
|
|
222
|
The Ensemble system
– Hayden
- 1998
|
|
98
|
The Polymorphic Pi-Calculus: Theory and Implementation
– Turner
- 1996
|
|
78
|
Concurrent objects in a process calculus
– Pierce, Turner
- 1994
|
|
59
|
Location-independent communication for mobile agents: a two-level architecture
– Sewell, Wojciechowski, et al.
- 1999
|
|
56
|
Asynchrony and the -calculus (note). Rapport de Recherche 1702
– Boudol
- 1992
|
|
31
|
Location independence for mobile agents
– Sewell, Wojciechowski, et al.
- 1998
|
|
22
|
Mobile Objects and Agents (MOA
– Milojicic, LaForge, et al.
- 1998
|
|
19
|
Infrastructure for mobile agents: Requirements and design
– Aridor, Oshima
|
|
13
|
The Fox project: Advanced language technology for extensible systems
– Harper, Lee, et al.
- 1998
|
|
7
|
A Mobile Object Workbench
– Bursell, Hayton, et al.
- 1998
|
|
5
|
Middleware support for mobile multimedia applications
– Bates, Halls, et al.
- 1997
|
|
4
|
systeme Caml Special Light: modules et compilation efficace en Caml. Research Report 2721, Institut National de Recherche en Informatique et Automatique (INRIA
– Le
- 1995
|
|
2
|
Voyager core package technology overview. Available from http://www.objectspace.com
– ObjectSpace
- 1997
|
|
2
|
Tschudin (Eds.). Towards the Programmable Internet
– Vitek, Christian
- 1997
|
|
