This paper presents a 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. AgentSim is implemented as a li brary built on IBM's Aglets. The modeling and simulation of an e-commerce mobile agent sys tem is exemplified to demonstrate the effective ness of the proposed modeling framework and the associated simulation environment.
Barros, F.J. "DSDE: A Formalism For Representing Mobile Components." Dagstuhl Seminar on Agent-Oriented Software Approaches in Distributed Modelling and Simulation. Dagstuhl. 1999.
2.
Cardelli, L. and Gordon, A.D. "Mobile Ambients." In Proceedings of FoSSaCS, European Joint Conferences on Theory and Practice of Software. 1998.
3.
Franklin, S. and Graesser, A. "Is It an Agent, or Just a Program?: A Taxonomy for Autonomous Agents ." In Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages. Springer-Verlag . 1996.
4.
Kiniry, J. and Zimmerman, D. "A Hands-on Look at Mobile Java Agents." IEEE Internet Computing, July-August, pp 21-30. 1997.
5.
Lange, D.B. and Oshima, M.Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley. 1998.
6.
Stanski, P. and Zaslavsky, A. "Expressing Dynamics of Mobile Agent Systems Using Ambient Calculus ." Proceedings of the Ninth International Workshop on Database and Expert Systems Applications. 434-439. 1998.
7.
Uhrmacher, A.M. "JAMES - A Java-Based Agent Modeling Environment for Simulation." Dagstuhl Seminar on Agent-Oriented Software Approaches in Distributed Modelling and Simulation. Dagstuhl. 1999.
8.
Wong, D., Paciorek, N. and Moore, D. "Java-based Mobile Agents." Communications of the ACM , Vol. 42, No. 3, pp 92-102. 1999.
Zeigler, B.P., Kim, T.G. and Lee, C. "Variable structure modelling methodology: An Adaptive computer architecture example." TRANSACTIONS, Vol. 7, No. 4, 291-319. 1991.
11.
Satoh, I. "A Formalism for Hierarchical Mobile Agents." In Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, pp 165-172, 2000.
12.
Hennessy, M.Algebraic Theory of Processes, MIT Press, 1988.
13.
Milner, R.Communication and Concurrency, Prentice Hall, 1989.
Thiagarajan, P.S. "Some behavioural aspects of net theory ," in Theoretical Computer Science, 1990.
16.
Fournet, C., Gonthier, G., Levy, J., Marnaget, L. and Remy, D." A Calculus of Mobile Agents," Proceedings of CONCUR'96, LNCS, Vol. 1119, pp 406-421, Springer, 1996.
17.
Barros, F.J. "Modeling Formalisms for Dynamic Structure Systems ," ACM Transactions on Modeling and Computer Simulation, Vol. 7, No. 4, pp 501-515,1997.
