Intelligent Mobile Agent Design in a Framework for Agent-Oriented Software

We model a mobile agent system with a formalism called agent-oriented G-net. In this system, intelligent mobile agents (IMA) and intelligent facilitator agent (IFA) on an agent virtual machine (AVM) are viewed as communicating agents. Based on the communication protocols they follow, we design the intelligent mobile agent and intelligent facilitator agent as software entities that can communicate with each other through asynchronous message passing. Since we design the intelligent mobile agent class as a base agent class, we can further design buying mobile agent and selling mobile agent as subclasses of the intelligent mobile agent class. In this case, design reuses can be achieved. Furthermore, since our design models are based on formal methods, our approach supports model analysis and property verification.