Mobile Agents Based on Concurrent Constraint Programming

This paper introduces an experimental framework for mobile agents. It utilizes expressiveness and formal foundation of concurrent constraint programming to solve the problem of system support for dynamic re-binding of not transferable resources and inter-agent collaboration based on logic variables. Proposed solutions make the agent-based programming easier and more straightforward and on the other hand offer a basis for a more sophisticated multi-agent system. The framework is implemented in the Distributed Oz programming language that appears to the programmer as concurrent, object-oriented language with data-flow synchronization. There are two implementations of the system – one is based on freely mobile objects and the other one is based on components (functors).

[1]  Peter Van Roy,et al.  An overview of the design of Distributed Oz , 1997, PASCO '97.

[2]  Gert Smolka.  The Oz Programming Model , 1996 .

[3]  Raphaël Collet,et al.  A Lightweight Object Migration Protocol , 1998, ICCL Workshop: Internet Programming Languages.

[4]  Anand R. Tripathi,et al.  Design issues in mobile agent programming systems , 1998, IEEE Concurr..

[5]  Jan van Leeuwen,et al.  Computer Science Today , 1995, Lecture Notes in Computer Science.

[6]  Mehdi Jazayeri,et al.  Gypsy: a component-based mobile agent system , 2000, Proceedings 8th Euromicro Workshop on Parallel and Distributed Processing.

[7]  Peter Van Roy,et al.  Mobile objects in distributed Oz , 1997, TOPL.

[8]  Peter Van Roy,et al.  Efficient logic variables for distributed computing , 1999, TOPL.

[9]  Danny B. Lange,et al.  A Security Model for Aglets , 1997, IEEE Internet Comput..

[10]  David Wong,et al.  Concordia: An Infrastructure for Collaborating Mobile Agents , 1997, Mobile Agents.

[11]  Luca Cardelli,et al.  A language with distributed scope , 1995, POPL '95.

[12]  Holger Peine,et al.  The Architecture of the Ara Platform for Mobile Agents , 1999, Mobile Agents.