Abstract
The Multi Agent Systems (MAS) theory has methodical approaches to analyze, understand and debug the social level of agents. This paper aims to argue that technologies for the analysis of MAS can be used in the field of Multi-agent based simulation (MABS). In particular, forensic analysis is proposed. It is explained the creation of an infrastructure for forensic analysis to assist the analysis of any model independently of its scope and framework of development. To achieve this genericity, the proposal is based in the use of Aspect Oriented Programming (AOP). In addition, it is given the key ideas used in the implementation of this infrastructure on the MABS platform MASON, giving a great power of analysis to this framework.
This research work is supported by the Spanish Ministry of Education and Science in the scope of the Research Project “Análisis, Estudio y Desarrollo de Sistemas Inteligentes y Servicios Telemáticos” through the Fundación Séneca within the Program “Generación del Conocimiento Científico de Excelencia”.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Netlogo 4.0.4 user manual, http://ccl.northwestern.edu/netlogo/docs/
Berryman, M.: Review of software platforms for agent based models. DSTO Defence Science and Technology Organisation, 2008. Australian Government, Department of Defence (2008)
Chen, C.-C., Nagl, S.B., Clack, C.D.: Specifying, detecting and analysing emergent behaviours in multi-level agent-based simulations. In: SCSC: Proceedings of the 2007 summer computer simulation conference, San Diego, CA, USA, pp. 969–976. Society for Computer Simulation International (2007)
Collier, N.: Repast: An extensible framework for agent simulation (2002)
Conte, R., Gilbert, N., Sichman, J.S.: Mas and social simulation: A suitable sommitment. In: Proceedings of the First International Workshop on Multi-Agent Systems and Agent-Based Simulation, London, UK, pp. 1–9. Springer, Heidelberg (1998)
Cost, R.S., Chen, Y., Finin, T.W., Labrou, Y., Peng, Y.: Using colored petri nets for conversation modeling. In: Issues in Agent Communication, London, UK, pp. 178–192. Springer, Heidelberg (2000)
David, N., Sichman, J.S., Coelho, H.: Towards an emergence-driven software process for agent-based simulation. In: 3rd International Workshop on Multi-Agent Based Simulation, MABS (2002)
Drogoul, A., Vanbergue, D., Meurisse, T.: Multi-agent based simulation: Where are the agents? In: Sichman, J.S., Bousquet, F., Davidsson, P. (eds.) MABS 2002. LNCS (LNAI), vol. 2581, pp. 1–15. Springer, Heidelberg (2003)
Fishwick, P.A.: Computer simulation: growth through extension. Trans. Soc. Comput. Simul. Int. 14(1), 13–23 (1997)
Gómez, J.J., Botia, J.A., Serrano, E., Pavón, J.: Testing and debugging of mas interactions with ingenias. In: Agent oriented software engineering. Workshop at AAMAS 2008, Estoril, Portugal (2008)
Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts: The Statemate Approach. McGraw-Hill, Inc, New York (1998)
Laddad, R.: AspectJ in Action: Practical Aspect-Oriented Programming. Manning Publications Co., Greenwich (2003)
Luke, S., Cioffi-Revilla, C., Panait, L., Sullivan, K.: Mason: A new multi-agent simulation toolkit. In: Proceedings of the 2004 Swarmfest Workshop (2004)
Van Dyke Parunak, H.: Visualizing agent conversations: Using enhanced dooley graphs for agent design and analysis. In: Proc. Second Int’l Conf. Multiagent Systems, pp. 275–282. AAAI Press, Menlo Park (1996)
Paurobally, S.: Developing agent interaction protocols using graphical and logical methodologies. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 149–168. Springer, Heidelberg (2004)
Peisert, S.P.: A model of forensic analysis using goal-oriented logging. PhD thesis, La Jolla, CA, USA. Adviser-Karin, Sidney (2007)
Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: the case of interaction protocols. In: AAMAS 2002: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pp. 960–967. ACM, New York (2002)
Railsback, S.F., Lytinen, S.L., Jackson, S.K.: Agent-based simulation platforms: Review and development recommendations. SIMULATION 82(9), 609–623 (2006)
Remondino, M., Correndo, G.: Mabs validation through repeated execution and data mining analisys. International Journal of Simulation: Systems, Science & Technology 7(6) (2006)
Saleh, M., Arasteh, A.R., Sakha, A., Debbabi, M.: Forensic analysis of logs: Modeling and verification. Know.-Based Syst. 20(7), 671–682 (2007)
Serrano, E., Botia, J.A., Cadenas, J.M.: Construction and debugging of a multi-agent based simulation to study ambient intelligence applications. In: Cabestany, J., Sandoval, F., Prieto, A., Corchado, J.M. (eds.) IWANN 2009. LNCS, vol. 5517, pp. 1090–1097. Springer, Heidelberg (2009)
Serrano, E., Botia, J.A.: Infrastructure for forensic analysis of multi-agent systems. In: Proceedings of the Programming Multi-Agent Systems Workshop at AAMAS 2008, Estoril, Portugal (2008)
Serrano, E., Gómez-Sanz, J.J., Botía, J.A., Pavón, J.: Intelligent data analysis applied to debug complex software systems. Neurocomputing 72(13-15), 2785–2795 (2009)
Simon, H.A.: The architecture of complexity. Proceedings of the American Philosophical Society 106(6), 467–482 (1962)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Serrano, E., Botia, J.A., Cadenas, J.M. (2010). Infrastructure for Forensic Analysis of Multi-Agent Based Simulations. In: Braubach, L., Briot, JP., Thangarajah, J. (eds) Programming Multi-Agent Systems. ProMAS 2009. Lecture Notes in Computer Science(), vol 5919. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14843-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-14843-9_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14842-2
Online ISBN: 978-3-642-14843-9
eBook Packages: Computer ScienceComputer Science (R0)