Debugging Mobile Agent Systems

Authors:
Masayuki Higashino;Shin Osaki;Shinya Otagaki;Kenichi Takahashi;Takao Kawamura;Kazunori Sugahara
Affiliations:
Department of Information and Electronics, Graduate School of Engineering, Tottori University Tottori 680-8552, Japan;Department of Information and Electronics, Graduate School of Engineering, Tottori University Tottori 680-8552, Japan;Department of Information and Electronics, Graduate School of Engineering, Tottori University Tottori 680-8552, Japan;Department of Information and Electronics, Graduate School of Engineering, Tottori University Tottori 680-8552, Japan;Department of Information and Electronics, Graduate School of Engineering, Tottori University Tottori 680-8552, Japan;Department of Information and Electronics, Graduate School of Engineering, Tottori University Tottori 680-8552, Japan
Venue:
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Year:
2013

Citing 17
Cited 0

Visualising and debugging distributed multi-agent systems

Proceedings of the third annual conference on Autonomous Agents
Agent factory: generative migration of mobile agents in heterogeneous environments

Proceedings of the 2002 ACM symposium on Applied computing
Q: A Scenario Description Language for Interactive Agents

Computer
A Formal Architectural Model for Logical Agent Mobility

IEEE Transactions on Software Engineering
An Overview of Mobile Object-Z

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures

ACM SIGSOFT Software Engineering Notes
IOM/T: an interaction description language for multi-agent systems

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Breaking into industry: tool support for multiagent systems

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Principles of the Spin Model Checker

Principles of the Spin Model Checker
Formally specifying and verifying mobile agents – model checking mobility: the MobiOZ approach

International Journal of Agent-Oriented Software Engineering
Adding debugging support to the Prometheus methodology

Engineering Applications of Artificial Intelligence
Debugging agents in agent factory

ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Requirements and tools for the debugging of multi-agent systems

MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Tracking causality by visualization of multi-agent interactions using causality graphs

ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
CADP 2010: a toolbox for the construction and analysis of distributed processes

TACAS'11/ETAPS'11 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
Debugging agent behavior in an implemented agent system

ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Prolog Cafe: a prolog to java translator system

INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management

Quantified Score

Hi-index	0.00

Visualization

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.