DEVS-based framework for modeling/simulation of mobile agent systems

摘要

This paper presents of formal modeling and simulation framework for mobile agent sys- tems. A Mobile Discrete Event System Specifi- cation(MDEVS)formalism is proposed to rep- resent the dynamics of mobile agent systems. the MDEVS formalism supports structural changes of the systems, which include the cre- ation, addition, deletion, and migration of mod- els and the dynamic changes of couplings be- tween models. AgentSim is a software environ- ment for the simulation and execution of mobile agent systems modeled by the MDEVS formalism.