Mobile Agent Life Cycle Demystified using Formal Method
DOI:
https://doi.org/10.14738/tmlai.32.1025Keywords:
Mobile Agent, Formal Method, Z-notations, Mobile Agent Life Cycle.Abstract
Underlying technique for mobile agent development is often mystified. Existing research sometimes ignore unveiling the details of the mobility and autonomy of the agent system. This paper exposes using formal methods the technique of a mobile agent system using a life cycle. The system proposed will serve as takeoff springboard for mobile agent developers.
References
Imianvan Anthony Agboizebeta and Akinyokun Oluwole Charles (2014),
Formal Characterization of a Mobile Agent Operational Environment, Journal of the Nigeria Association of Mathematical Physics, Published by Nigeria Association of Mathematical Physics, Volume 26, March 2014, pages 467 – 475
Imianvan Anthony Agboizebeta (2009), “Development of a Mobile Agent System for Evaluating the Use of Bandwidth in a Computer Network”, PhD Thesis, Federal University of Technology, Akure, Ondo State. Nigeria.
Aderounmu G. A. (2001), “Development of an intelligent Mobile Agent for Computer Network Performance Management”, PhD Thesis, Obafemi awolowo University, Ile-Ife, Nigeria.
Huy Hoang To, Shonali Krishnaswamy, and Bala Srinivasan (2005), Mobile Agents for Network Management: When and When Not! , ACM Syposium on Applied Computing.
Akinyokun O. C. (1997), “Catching and Using the Virus”, The Journal of the Institute of the Management of Information Systems (IMIS), London, United Kingdom, Vol. 7, No. 6, Pages 12-17.
Weina He and Gaoyuan Liu (2011), The application of mobile agent in e-commerce, 3rd International Conference on Advanced Computer Control (ICACC), 2011, HARBIN.
Djamel Eddine Menacer, Habiba Drias, Christophe Sibertin-Blanc (2012), MP-IR: Market-Oriented Mobile Agents System for Distributed Information Retrieval, Advances in Intelligent and Soft Computing, Volume 122, pages 379-390, 2012.
Diller A., (1994), Z : An Introduction to Formal Methods, (2nd edition), John Wiley and Sons
Spivey J. M. (1998), “The Z notation: A Reference Manual”, Prentice Hall International, United Kingdom.
