Infrastructure for Forensic Analysis of Multi-Agent Based Simulations

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.

[1]  Ramnivas Laddad,et al.  Aspectj in Action: Practical Aspect-Oriented Programming , 2003 .

[2]  Jorge J. Gómez-Sanz,et al.  Intelligent data analysis applied to debug complex software systems , 2009, Neurocomputing.

[3]  Jaime Simão Sichman,et al.  Proceedings of the First International Workshop on Multi-Agent Systems and Agent-Based Simulation , 1998 .

[4]  David Harel,et al.  Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .

[5]  Matthew J. Berryman,et al.  Review of Software Platforms for Agent Based Models , 2008 .

[6]  Christopher D. Clack,et al.  Specifying, detecting and analysing emergent behaviours in multi-level agent-based simulations , 2007, SCSC.

[7]  Paul A. Fishwick,et al.  Computer Simulation: Growth Through Extension , 1997 .

[8]  Jaime Simão Sichman,et al.  MAS and Social Simulation: A Suitable Sommitment , 1998, MABS.

[9]  Yun Peng,et al.  Using Colored Petri Nets for Conversation Modeling , 2000, Issues in Agent Communication.

[10]  Juan A. Botía Blaya,et al.  Construction and Debugging of a Multi-Agent Based Simulation to Study Ambient Intelligence Applications , 2009, IWANN.

[11]  Alexis Drogoul,et al.  Multi-agent Based Simulation: Where Are the Agents? , 2002, MABS.

[12]  Frank Dignum,et al.  Issues in Agent Communication , 2000, Lecture Notes in Computer Science.

[13]  Michael Winikoff,et al.  Debugging multi-agent systems using design artifacts: the case of interaction protocols , 2002, AAMAS '02.

[14]  H. Van Dyke Parunak,et al.  Visualizing Agent Conversations: Using Enhanced Dooley Graphs for Agent Design and Analysis , 1996 .

[15]  Juan A. Botía Blaya,et al.  Infrastructure for Forensic Analysis of Multi-Agent Systems , 2009, ProMAS.

[16]  Jaime Simão Sichman,et al.  Multi-Agent-Based Simulation II , 2003, Lecture Notes in Computer Science.

[17]  Nicholas R. Jennings,et al.  Developing Agent Interaction Protocols Using Graphical and Logical Methodologies , 2003, PROMAS.

[18]  Gerhard Weiss,et al.  Multiagent Systems , 1999 .

[19]  Jorge J. Gómez-Sanz,et al.  Testing and Debugging of MAS Interactions with INGENIAS , 2009, AOSE.

[20]  Sean Luke,et al.  MASON: A New Multi-Agent Simulation Toolkit , 2004 .

[21]  Nuno David,et al.  Towards an Emergence-Driven Software Process for Agent-Based Simulation , 2002, MABS.

[22]  Alberto Prieto,et al.  Bio-inspired systems: Computational and ambient intelligence , 2011, Neurocomputing.

[23]  HERBERT A. SIMON,et al.  The Architecture of Complexity , 1991 .

[24]  Sean Peisert,et al.  A model of forensic analysis using goal-oriented logging , 2007 .

[25]  Marco Remondino,et al.  MABS Validation Through Repeated Execution and Data Mining Analisys , 2006 .

[26]  Steven L. Lytinen,et al.  Agent-based Simulation Platforms: Review and Development Recommendations , 2006, Simul..

[27]  Nick Collier,et al.  Repast: An extensible framework for agent simulation , 2001 .

[28]  Mourad Debbabi,et al.  Forensic analysis of logs: Modeling and verification , 2007, Knowl. Based Syst..