Design, Validation, Simulation and Parametric Evaluation of a Novel Protocol for Locating Mobile Agents in Multiregion Environment

Mobile agents are processes that can be dispatched from source computer and be transported to remote servers for execution, have been widely argued to be an important enabling technology for future systems. Location management is a necessity for locating mobile agents in a network of mobile agent hosts for controlling, monitoring and communication during processing and it still represents an open research issue. The cost of location management strategies mainly depends on the cost of search and update. We concentrated on reducing the cost of update and improving the speed of processing of the agents. We proposed a location management technique applicable for multi-region environment in which mobile agent did not update its location at every migration. The technique named as Broadcasting with Search by Path Chase (BSPC). We used the tool time Petri net analyzer TINA to model, analyze and to simulate BSPC. We found that the BSPC behaves as expected and free from any deadlock. We measured the efficiency of BSPC and compared with some existing location management techniques by parametric evaluation. BSPC provided better scalability, location updating availability and interaction fault rate with theoretical considerations of network usage and network fault rate. It gave its best performance for applications of low CMR and having high migration rate of mobile agents within birth region.

[1]  Jocelyn Desbiens,et al.  Communication and tracking infrastructure of a mobile agent system , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[2]  Mogens Nielsen,et al.  Decidability Issues for Petri Nets - a survey , 1994, Bull. EATCS.

[3]  Keqin Li,et al.  Optimal dynamic mobility management for PCS networks , 2000, TNET.

[4]  K. Garg,et al.  Design and performance validation techniques for distributed systems using timed petrinets , 1984 .

[5]  F. Vernadat,et al.  The tool TINA – Construction of abstract state spaces for petri nets and time petri nets , 2004 .

[6]  Corrado Santoro,et al.  Naming and locating mobile agents in an Internet environment , 1999, Proceedings Third International Enterprise Distributed Object Computing. Conference (Cat. No.99EX366).

[7]  Tao Xian Communication Mechanism in Mogent System , 2000 .

[8]  Andrew S. Tanenbaum,et al.  Globe: a wide area distributed system , 1999, IEEE Concurr..

[9]  Corrado Santoro,et al.  Locating Mobile Agents in a Wide Distributed Environment , 2002, IEEE Trans. Parallel Distributed Syst..

[10]  SungJin Choi,et al.  Location management & message delivery protocol in multi-region mobile agent computing environment , 2004, 24th International Conference on Distributed Computing Systems, 2004. Proceedings..

[11]  Joachim Baumann,et al.  A comparison of mechanisms for locating mobile agents , 1999 .

[12]  Dejan S. Milojicic,et al.  Mobile Objects and Agents (MOA) , 1998, Distributed Syst. Eng..

[13]  Corrado Santoro,et al.  The coordination infrastructure of the ARCA framework , 2000, AGENTS '00.

[14]  Kwok-Yan Lam,et al.  An optimal location update and searching algorithm for tracking mobile agent , 2002, AAMAS '02.

[15]  Thomas Magedanz,et al.  GRASSHOPPER - A UNIVERSAL AGENT PLATFORM BASED ON OMG MASIF AND FIPA STANDARDS , 2000 .

[16]  Franz J. Hauck,et al.  Locating objects in wide-area systems , 1998, IEEE Commun. Mag..

[17]  Jiannong Cao Mailbox-Based Scheme for Mobile Agent Communications , 2001 .

[18]  Evaggelia Pitoura,et al.  Distributed Location Databases for Tracking Highly Mobile Objects , 2001, Comput. J..

[19]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[20]  Wde Client-Server Architecture , 2008, Encyclopedia of Multimedia.

[21]  Paweł T. Wojciechowski,et al.  Algorithms for Location-Independent Communication between Mobile Agents , 2001 .

[22]  Anand R. Tripathi,et al.  Experiences and future challenges in mobile agent programming , 2001, Microprocess. Microsystems.

[23]  Amotz Bar-Noy,et al.  Mobile users: To update or not to update? , 1995, Wirel. Networks.

[24]  Sajal K. Das,et al.  LeZi-update: an information-theoretic approach to track mobile users in PCS networks , 1999, MobiCom.

[25]  Stefano Ceri,et al.  Distributed Databases: Principles and Systems , 1984 .

[26]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[27]  Evaggelia Pitoura,et al.  Locating Objects in Mobile Computing , 2001, IEEE Trans. Knowl. Data Eng..

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

[29]  Bernard Berthomieu,et al.  An Enumerative Approach for Analyzing Time Petri Nets , 1983, IFIP Congress.

[30]  Alex Berson,et al.  Client/server architecture (2nd ed.) , 1996 .

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

[32]  Joachim Baumann,et al.  Control algorithms for mobile agents , 1999 .

[33]  Evaggelia Pitoura,et al.  A scalable hash-based mobile agent location mechanism , 2003, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings..

[34]  A Scalable and Secure Global Tracking Service for Mobile Agents , 2001, Mobile Agents.

[35]  I. Lovrek,et al.  Petri net based modelling and simulation of Email Alert System , 2000, 2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099).