Masayuki Higashino
ABSTRACT
A mobile agent is an autonomous software module that can migrate between different computers. A mobile agent is designed and implemented like a human, and mobile agents work together by interactions among them like a human community. Thus, a mobile agent technology is helpful when we develop distributed systems with an easy-to-understand design and implementations for humans. Many researchers have proposed various applications through mobile agent technologies. However, mobile agent technologies are not used much as compared to other networking or programming technologies in the real world because migrations of mobile agents make it difficult to debug the system. This paper discusses problems of mobile agents for debugging, and proposes a remote debugger in order to solve these problems. Our proposed remote debugger supports functions of searching, single stepping execution, breaking, and viewing variables for a mobile agent who behaves with migrations on a running system.
- M. Banbara, N. Tamura, and K. Inoue. Prolog cafe: A prolog to java translator system. In Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management, pages 1--11, 2005. Google Scholar
Digital Library
- F. Bellifemine, G. Caire, T. Trucco, and G. Rimassa. JADE PROGRAMMER'S GUIDE. Telecom Italia S.p.A., 2010.Google Scholar
- M. Ben-Ari. Principles of the Spin Model Checker. Springer London, 2008. Google ScholarDigital Library
- F. M. T. Brazier, B. J. Overeinder, M. van Steen, and N. J. E. Wijngaards. Agent factory: Generative migration of mobile agents in heterogeneous environments. In Proceedings of the 2002 ACM Symposium on Applied Computing, SAC '02, pages 101--106, New York, NY, USA, 2002. ACM. Google ScholarDigital Library
- L. Cabac, T. Dörges, M. Duvigneau, and D. Moldt. Requirements and tools for the debugging of multi-agent systems. In Proceedings of the 7th German Conference on Multiagent System Technologies, MATES '09, pages 238--247, Berlin, Heidelberg, 2009. Springer-Verlag. Google ScholarDigital Library
- R. Collier. Debugging agents in Agent Factory. In Proceedings of the 4th International Conference on Programming Multi-Agent Systems, ProMAS '06, pages 229--248, Berlin, Heidelberg, 2007. Springer-Verlag. Google ScholarDigital Library
- J. Ding, D. Xu, X. He, and Y. Deng. Modeling and analyzing a mobile agent-based clinical information system. The International Journal of Intelligent Control and Systems, 10(2):143--151, 2005.Google Scholar
- N. Fukuta, T. Ito, and T. Shintani. Milog: A mobile agent framework for implementing intelligent information agents with logic programming. In Pacific Rim International Workshop on Intelligent Information Agents, 2000.Google Scholar
- H. Garavel, F. Lang, R. Mateescu, and W. Serwe. CADP 2010: a toolbox for the construction and analysis of distributed processes. In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Part of the Joint European Conferences on Theory and Practice of Software, TACAS '11/ETAPS '11, pages 372--387, Berlin, Heidelberg, 2011. Springer-Verlag. Google ScholarDigital Library
- A. R. Hurson, E. Jean, M. Ongtang, X. Gao, Y. Jiao, and T. E. Potok. Recent advances in mobile agent-oriented applications. In A. Y. Zomaya, editor, Mobile Intelligence: Mobile Computing and Computational Intelligence, Wiley Series on Parallel and Distributed Computing. John Wiley & Sons, Inc., 1st edition, 2010.Google Scholar
- ISO/IEC. Information technology --- Z formal specification notation ---Syntax, type system and semantics, 1 edition, 2002. ISO/IEC 13568:2002(E).Google Scholar
- T. Kawamura, S. Motomura, and K. Sugahara. Implementation of a logic-based multi agent framework on java environment. In Proceedings of IEEE International Conference on Integration of Knowledge Intensive Multi-Agent Systems, pages 486--491, 2005.Google ScholarCross Ref
- D. N. Lam and K. S. Barber. Debugging agent behavior in an implemented agent system. In Proceedings of the 2nd International Conference on Programming Multi-Agent Systems, ProMAS '04, pages 104--125, Berlin, Heidelberg, 2005. Springer-Verlag. Google ScholarDigital Library
- P. Leach, M. Mealling, and R. Salz. A Universally Unique IDentifier (UUID) URN Namespace. Request for Comments (RFC) 4122, 2005.Google Scholar
- S. Lynch and K. Rajendran. Breaking into industry: Tool support for multiagent systems. In Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS '07, pages 136:1--136:3, New York, NY, USA, 2007. ACM. Google ScholarDigital Library
- D. T. Ndumu, H. S. Nwana, L. C. Lee, and J. C. Collis. Visualising and debugging distributed multi-agent systems. In Proceedings of the 3rd Annual Conference on Autonomous Agents, AGENTS '99, pages 326--333, New York, NY, USA, 1999. ACM. Google ScholarDigital Library
- F. Oquendo. π-ADL: an architecture description language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures. ACM Software Engineering Notes (SEN), 29(3):1--14, 2004. Google ScholarDigital Library
- Oracle Corporation. Object Serialization. Web, 2013. http://docs.oracle.com/javase/6/docs/technotes/guides/serialization/.Google Scholar
- A. Outtagarts. Mobile agent-based applications: a survey. International Journal of Computer Science and Network Security (IJCSNS), 9(11):331--339, 2009.Google Scholar
- L. Padgham, M. Winikoff, and D. Poutakidis. Adding debugging support to the prometheus methodology. Engineering Applications of Artificial Intelligence, 18(2):173--190, 2005. Google ScholarDigital Library
- K. Taguchi and J. Song Dong. An overview of Mobile Object-Z. In Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering (ICFEM 2002), pages 144--155, 2002. Google ScholarDigital Library
- K. Taguchi and J. Song Dong. Formally specifying and verifying mobile agents --- model checking mobility: the MobiOZ approach. International Journal of Agent-Oriented Software Engineering, 2(4):449--474, 2008. Google ScholarDigital Library
- D. Takuo, T. Yasuyuki, and H. Shinichi. IOM/T: An interaction description language for multi-agent systems. In Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), pages 778--785, 2005. Google ScholarDigital Library
- I. Toru. Q: A scenario description language for interactive agents. IEEE Computer, 35(11):42--47, 2002. Google ScholarDigital Library
- I. Čavrak, A. Stranjak, and M. Žagar. SDLMAS: A scenario modeling framework for multi-agent systems. Journal of Universal Computer Science, 15(4):898--925, 2009.Google Scholar
- G. Vigueras and J. A. Botia. Tracking causality by visualization of multi-agent interactions using causality graphs. In Proceedings of the 5th International Conference on Programming Multi-Agent Systems, ProMAS '07, pages 190--204, Berlin, Heidelberg, 2008. Springer-Verlag. Google ScholarDigital Library
- D. Xu, J. Yin, Y. Deng, and J. Ding. A formal architectural model for Logical Agent Mobility. IEEE Transactions on Software Engineering, 29(1):31--45, 2003. Google ScholarDigital Library
Index Terms
- Debugging Mobile Agent Systems
Recommendations
Achieving Mobile Agent Systems interoperability through software layering
Interoperability is a key issue for a wider adoption of mobile agent systems (MASs) in heterogeneous and open distributed environments where agents, in order to fulfill their tasks, must interact with non-homogeneous agents and traverse different agent ...
Towards a Reference Model for Surveying Mobile Agent Systems
There are increasing numbers of systems and research projects involving software agents and mobile agents. However, there is no reference model or conceptual framework to compare the resulting systems. In this paper, we propose a reference model to ...
Mobile agent systems and cellular automata
The purpose of this article (based on an earlier draft available as technical report: Gruner S, Mobile agent systems and cellular automata. LaBRI Research Reports, 2006) is to make a step towards uniting the paradigms of cellular automata and mobile ...
Comments