Simulation in Agent-Oriented Software Engineering: The SODA case study

The key role of simulation in the engineering of complex multiagent systems (MAS) is today generally acknowledged in the MAS community. However, the adoption of simulation in state-of-the-art Agent-Oriented Software Engineering (AOSE) methodologies is still incomplete at its best. In this paper we present a simulation-based approach to MAS engineering and discuss its integration within AOSE methodologies. Integration is first discussed in general by adopting standard method engineering techniques, then detailed by means of a case study-that is, integrating simulation in SODA.

[1]  Andrea Omicini,et al.  SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems , 2000, AOSE.

[2]  Stéphane Galland,et al.  A MAS Metamodel-Driven Approach to Process Fragments Selection , 2009, AOSE.

[3]  Bernard P. Zeigler,et al.  A layered modeling and simulation architecture for agent-based system development , 2001, Proc. IEEE.

[4]  Stéphane Galland,et al.  The Metamodel: a Starting Point for Design Processes Construction , 2010, Int. J. Softw. Eng. Knowl. Eng..

[5]  Franco Zambonelli,et al.  Challenges and Research Directions in Agent-Oriented Software Engineering , 2004, Autonomous Agents and Multi-Agent Systems.

[6]  Salvatore Gaglio,et al.  Method fragments for agent design methodologies: from standardisation to research , 2007, Int. J. Agent Oriented Softw. Eng..

[7]  P. Noriega,et al.  Multi-agent Systems as Electronic Institutions , 2004 .

[8]  Giancarlo Fortino,et al.  PASSIM: a simulation-based process for the development of multi-agent systems , 2008, Int. J. Agent Oriented Softw. Eng..

[9]  Andrea Omicini,et al.  Artifacts in the A&A meta-model for multi-agent systems , 2008, Autonomous Agents and Multi-Agent Systems.

[10]  Andrea Omicini,et al.  Environment in agent-oriented software engineering methodologies , 2009, Multiagent Grid Syst..

[11]  Massimo Cossentino,et al.  From Requirements to Code with PASSI Methodology , 2005 .

[12]  Ambra Molesini,et al.  Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model , 2008 .

[13]  Giancarlo Fortino,et al.  From Modeling to Simulation of Multi-agent Systems: An Integrated Approach and a Case Study , 2004, MATES.

[14]  Marc Esteva,et al.  Engineering Open Multi-Agent Systems as Electronic Institutions , 2004, AAAI.

[15]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[16]  Jorge J. Gómez-Sanz,et al.  Modelling and simulation of social systems with INGENIAS , 2008, Int. J. Agent Oriented Softw. Eng..

[17]  Brian Henderson-Sellers,et al.  Agent-oriented methodologies , 2005 .

[18]  Andrea Omicini,et al.  Designing self-organising environments with agents and artefacts: a simulation-driven approach , 2008, Int. J. Agent Oriented Softw. Eng..

[19]  Stephan Merz,et al.  Model Checking , 2000 .

[20]  Thomas Hérault,et al.  Approximate Probabilistic Model Checking , 2004, VMCAI.

[21]  Danny Weyns,et al.  Multi-Agent Systems , 2009 .

[22]  Adelinde M. Uhrmacher,et al.  Controlled Experimentation with Agents - Models and Implementations , 2004, ESAW.

[23]  Jorge J. Gómez-Sanz,et al.  The INGENIAS Methodology and Tools , 2005 .

[24]  Giancarlo Fortino,et al.  An integrated approach for the development and validation of multi-agent systems , 2005, Comput. Syst. Sci. Eng..

[25]  Juan A. Rodríguez-Aguilar,et al.  Engineering Autonomic Electronic Institutions , 2008, EEMMAS.

[26]  Andrea Omicini,et al.  Agent-based conference management: a case study in SODA , 2010, Int. J. Agent Oriented Softw. Eng..

[27]  Andrea Omicini,et al.  SODA: A Roadmap to Artefacts , 2005, ESAW.

[28]  Andrea Omicini,et al.  Combining Simulation and Formal Tools for Developing Self-Organizing MAS , 2009, Multi-Agent Systems.