An application-level technique based on recursive hierarchical state machines for agent execution state capture

Science of Computer Programming

Volumn 78, Issue 6, 2013, Pages 725-746

  Fortino, Giancarlo ^a   Rango, Francesco ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

Distilled StateCharts; Execution state capture; JADE; Software agents; Strong mobility

Indexed keywords

DISTILLED STATECHARTS; EXECUTION STATE CAPTURE; HIERARCHICAL STATE MACHINES; JADE; JAVA VIRTUAL MACHINES; MULTI AGENT SYSTEM (MAS); OBJECT-ORIENTED PROGRAMMING LANGUAGES; SYSTEM-LEVEL APPROACH;

ALGORITHMS; FAULT TOLERANCE; JAVA PROGRAMMING LANGUAGE; MULTI AGENT SYSTEMS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE AGENTS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 84875708939     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2011.10.001     Document Type: Conference Paper

References (41)

1. A. Acharya, M. Ranganathan, and J. Saltz Sumatra: a language for resource aware mobile programs Mobile Object Systems: Towards the Programmable Internet LNCS vol. 1222 1997
2. R. Alur, M. Benedikt, K. Etessami, P. Godefroid, T.W. Reps, and M. Yannakakis Analysis of recursive state machines ACM Transactions on Programming Languages and Systems 27 4 2005
3. C. Bäumer, and T. Magedanz Grasshopper - a mobile agent platform for active telecommunication Sahin Albayrak, Proc. of the Third International Workshop on Intelligent Agents for Telecommunication Applications IATA'99 1999 Springer-Verlag London, UK 19 32
4. F. Bellifemine, A. Poggi, and G. Rimassa Developing multi agent systems with a FIPA-compliant agent framework Software Practice and Experience 31 2001 103 128
5. L. Bettini, and R. De Nicola Translating strong mobility into weak mobility G. Picco, Proc. of 5th IEEE Conference on Mobile Agents LNCS vol. 2240 2001 182 197
6. S. Bouchenak, D. Hagimont, Pickling threads state in the Java system, in: Proc. of Technology of Object-Oriented Languages and Systems Europe-Europe (TOOLS Europe'2000), Mont Saint Michel/Saint Malo, France, June 2000.
7. S. Bouchenak, D. Hagimont, Zero Overhead Java Thread Migration, Technical Report No 0261, INRIA, Montbonnet-St-Martin (France), May 2002.
8. B. Dimitrov, and V. Rego Arachne: a portable threads system supporting migrant threads on heterogeneous network farms IEEE Transactions on Parallel and Distributed Systems 9 5 1998 459 469
9. The DSCStarBehaviour framework, documentation and software. Available from, 2011 http://plasma.deis.unical.it/software/dscstar.html.
10. The DistilledStatechartBehaviour framework, official JADE add-on, documentation and software. Available from, 2010 http://jade.tilab.com.
11. H. Fecher, J. Schönborn, UML 2.0 state machines: complete formal semantics via core state machines, in: Proc. of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology, 2006.
12. FIPA Agent Management Specification, Management for agents on FIPA agent platforms, http://www.fipa.org/specs/fipa00023/SC00023K.html.
13. G. Fortino, A. Garro, S. Mascillaro, and W. Russo Using event-driven lightweight DSC-based agents for MAS modeling International Journal on Agent Oriented Software Engineering 4 2 2010
14. G. Fortino, A. Garro, and W. Russo Achieving mobile agent systems interoperability through software layering Information and Software Technology 50 4 2008 322 341
15. G. Fortino, F. Frattolillo, W. Russo, E. Zimeo, Mobile Active Objects for highly dynamic distributed computing, in: Proc. of IEEE IPDPS'02, Workshop on Java for Parallel and Distributed Computing, Fort Lauderdale (FL), USA, 2002.
16. G. Fortino, F. Rango, and W. Russo Statecharts-based JADE agents and tools for engineering multi-agent systems R. Setchi, I. Jordanov, R.J. Howlett, L.C. Jain, Knowledge-Based and Intelligent Information and Engineering Systems, 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part I LNAI vol. 6276 2010 SpringerVerlag Berlin 240 250
17. G. Fortino, W. Russo, and E. Zimeo A statecharts-based software development process for mobile agents Information and Software Technology 46 13 2004 907 921
18. A. Fuggetta, G.P. Picco, and G. Vigna Understanding code mobility IEEE Transactions on Software Engineering 24 5 1998 342 361
19. S. Funfrocken Transparent migration of Java-based mobile agents: capturing and re-establishing the state of Java programs K. Rothermel, F. Hohl, Proc. of the 2nd Int'l Workshop on Mobile Agents LNCS vol. 1477 1998 26 37
20. R.S. Gray, G. Cybenko, D. Kotz, D. Rus, Mobile agents: motivations and state of the art, in: Jeffrey Bradshaw (Ed.), Handbook of Agent Technology, AAAI/MIT Press, 2001 (in press). Draft available as Technical Report TR2000-365, Department of Computer Science, Dartmouth College.
21. D. Harel Statecharts: a visual formalism for complex systems Science of Computer Programming 8 1987 231 274
22. M. Hohlfeld, B. Yee, How to migrate agents, available at, 1998 http://www.cs.ucsd.edu/bsy.
23. JGraph - The Java Open Source Graph Drawing Component, documentation and software. Available from, 2010 http://www.jgraph.com/.
24. Y. Ji, H. Jiang, V. Chaudhary, Adaptation point analysis for computation migration/checkpointing, in: Proc. of the 2005 ACM Symposium on Applied Computing, Santa Fe, NM, Mar 13-17, 2005.
25. N.M. Karnik, and A.R. Tripathi Design issues in mobile-agent programming systems IEEE Concurrency 1998
26. D. Lange, and M. Oshima Programming and Deploying Java Mobile Agents with Aglets 1998 Addison-Wesley Professional
27. H. Peine, and T. Stolpmann The architecture of the ARA platform for mobile agents K. Rothermel, R. Popescu-Zeletin, Proc. of the 1st Int'l Workshop on Mobile Agents MA'97 LNCS vol. 1219 1997 Springer Verlag 50 61
28. R. Quitadamo, L. Leonardi, and G. Cabri Leveraging strong agent mobility for Aglets with the Mobile JikesRVM framework Scalable Computing: Practice and Experience 7 4 2006
29. T. Sakamoto, T. Sekiguchi, A. Yonezawa, Bytecode transformation for portable thread migration in Java, in: Proc. of the 4th Int'l Symp on Mobile Agents, Zurich, Switzerland, Sept. 2000.
30. T. Sekiguchi, H. Masuhara, and A. Yonezawa A simple extension of Java language for controllable transparent migration and its portable implementation Coordination Languages and Models LNCS vol. 1594 1999
31. I. Stojmenovic Recursive algorithms in computer science courses: Fibonacci numbers and binomial coefficients IEEE Transactions on Education 43 3 2000 273 276
32. T. Suezawa, Persistent execution state of a Java Virtual Machine, in: Proc. of the ACM 2000 Java Grande Conference, San Francisco, California (USA), Jun. 2000.
33. N. Suri, J.M. Bradshaw, M.R. Breedy, P.T. Groth, G.A. Hill, R. Jeffers, Strong mobility and fine-grained resource control in Nomads, in: Proc. of the 4th Int'l Symp on Mobile Agents, Zurich, Sept. 2000, pp. 79-92.
34. A. Tripathi, N.M. Karnik, T. Ahmed, R.D. Singh, A. Prakash, V. Kakani, M.K. Vora, and M. Pathak Design of the ajanta system for mobile agent programming Journal of Systems and Software 2002
35. E. Truyen, B. Robben, B. Vanhaute, T. Coninx, W. Joosen, P. Verbaeten, Portable support for transparent thread migration in Java, in: Proc. of the 2nd Int'l Workshop on Mobile Agents, MA'00, Zurich, Switzerland, Sept. 2000.
36. Voyager, documentation and software. Available from, 2010 http://www.recursionsw.com/products/voyager.
37. X. Wang, J. Hallstrom, G. Baumgartner, Reliability through Strong Mobility, Technical Report, Department of Computer and Information Science, The Ohio State University, 2001, pp. 2-5.
38. J.E. White Mobile agents J. Bradshaw, Software Agents 1996 AAAI Press and MIT Press
39. C. Wicke, L.F. Bic, M.B. Dillencourt, and M. Fukuda Automatic State Capture of self-migrating computations in MESSENGERS Proc. of the 2nd Int'l Workshop on Mobile Agents LNCS vol. 1477 1998 Springer-Verlag 68 79
40. M. Wooldridge, and N. Jennings Intelligent agents: theory and practice The Knowledge Engineering Review 10 2 1995 115 152
41. M. Zhang, and W. Li Persisting Autonomous Workflow for Mobile Agents Using Mobile Thread Programming Model LNAI vol. 1733 2002 84 93