Behavior Model of Mobile Agent Systems

The paradigm of mobile agents is used among others in the mobile code area. It has been studied for several years and many implementations are available. Nevertheless, the technology is far from being widely accepted for many reasons. One of these reasons is the lack of behavior models of mobile agent systems that prevents their theoretical study. This paper presents the mobile agent paradigm, some implementations of it, and a π-calculus model. This model leads to a new concept that we have called active containers. We claim that it is a basic brick on which any other mobile code paradigm can be built.

[1]  Michael E. Papka,et al.  The web page , 2000 .

[2]  Thomas F. Melham.  A Mechanized Theory of the Pi-Calculus in HOL , 1994, Nord. J. Comput..

[3]  Davide Sangiorgi,et al.  Behavioral equivalence in the polymorphic pi-calculus , 1997, POPL '97.

[4]  Nikhil Kothari.  AGENTOS – A Java Based Mobile Agent System , 1997 .

[5]  Gerhard Robert Joubert.  Parallel Computing: Software Technology, Algorithms, Architectures and Applications, PARCO 2003, Dresden, Germany , 2004, PARCO.

[6]  Aaron Kershenbaum,et al.  Mobile Agents: Are They a Good Idea? , 1996, Mobile Object Systems.

[7]  Gian Pietro Picco,et al.  Understanding code mobility , 1998, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[8]  Davide Sangiorgi,et al.  Behavioral equivalence in the polymorphic pi-calculus , 2000, JACM.

[9]  Serge Chaumette,et al.  Extensible and Customizable Just-In-Time Security (JITS) Management of Client-Server Communication in Java , 2003, PARCO.

[10]  Danny B. Lange,et al.  Agent design patterns: elements of agent application design , 1998, AGENTS '98.

[11]  Pierre Vignéras.  Vers une programmation locale et distribuée unifiée au travers de l'utilisation de conteneurs actifs et de références asynchrones , 2004 .

[12]  Carlo Ghezzi,et al.  Analyzing Mobile Code Languages , 1996, Mobile Object Systems.

[13]  Johann Wolfgang,et al.  AN INFRASTRUCTURE FOR MOBILE AGENTS : REQUIREMENTS AND ARCHITECTURE , 1995 .

[14]  Giovanni Vigna,et al.  Designing Distributed Applications with Mobile Code Paradigms , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[15]  Alberto Rodrigues da Silva,et al.  The Agent Pattern for Mobile Agent Systems , 1998, EuroPLoP.

[16]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[17]  Veljko M. Milutinovic,et al.  Mobile Agents and Java Mobile Agents Toolkits , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[18]  Serge Chaumette,et al.  A Framework for Seamlesly Making Object Oriented Applications Distributed , 2003, PARCO.

[19]  Robin Milner,et al.  The Polyadic π-Calculus: a Tutorial , 1993 .