A formal model for mobile agent systems using Z

Summary form only given. This paper proposes a formal definition of a conceptual model for mobile agent systems. This works constitute a part of a general research project aiming at defining a generic interaction model that covers the different facets of the cooperative activity among mobile agent based systems. We propose a framework for the specification of interaction mechanisms among mobile agent systems. Doing so, and using the Z notation, we bring closer the concepts describing a mobile agent systems and the cooperative activity while integrating them with the concepts related to the agent migration. The syntax and the semantic of proposed specifications have been checked using the Z-EVES tool.

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

[2]  Marie-Pierre Gervais,et al.  On the Modelling of Mobile Agent-Based Systems , 2001, MATA.

[3]  Ahmed Karmouch,et al.  AN ARCHITECTURAL MODEL FOR MOBILE AGENT-BASED MULTIMEDIA APPLICATIONS , 1997 .

[4]  Manfred Broy,et al.  Focusing on mobility , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[5]  Michael Luck,et al.  A Formal Framework for Agency and Autonomy , 1995, ICMAS.

[6]  Giovanna Di Marzo Serugendo,et al.  A survey of theories for mobile agents , 2004, World Wide Web.

[7]  Burkhart Wolff,et al.  A Structure Preserving Encoding of Z in Isabelle/HOL , 1996, TPHOLs.

[8]  Diego Latella,et al.  AGILE: Software Architecture for Mobility , 2002, WADT.

[9]  Christine Julien,et al.  Formal Specification and Design of Mobile Systems , 2002, IPDPS.

[10]  Fritz Hohl,et al.  Mole – Concepts of a mobile agent system , 1999, World Wide Web.

[11]  Alan Schmitt,et al.  The m-calculus: a higher-order distributed process calculus , 2003, POPL '03.

[12]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[13]  Kotagiri Ramamohanarao,et al.  An architecture for mobile BDI agents , 1998, SAC '98.

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

[15]  Martin Wirsing,et al.  Extraction of Structured Programs from Specification Proofs , 1999, WADT.

[16]  Cecilia Mascolo.  MobiS: A Specification Language for Mobile Systems , 1999, COORDINATION.

[17]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[18]  Mohamed Jmaiel,et al.  Formalization of Cooperation in MAS: Towards a Generic Conceptual Model , 2004, IBERAMIA.