An approach for the integration of swarm intelligence in MAS: An engineering perspective

For more than 20years, researchers have designed models in order to describe swarm intelligence and apply the resulting techniques to complex problems. However, there is still a gap between these models and current MAS methodologies. The goal of this paper is to propose a principled and methodological approach for the engineering of systems based upon swarm intelligence. The constraints are, on the one hand, to enable the analysis, design and implementation of such systems; and, on the other hand, to formally analyze and verify properties of resulting systems. The principles of the approach are based, on the one hand, on requirement driven activities that produce goals to be fulfilled by the system of interest and, on the other, hand on an ontological modeling of the problem domain. This ontological modeling conceptualizes the phenomenon one seek to imitate and thus allows it understanding. The produced ontology is refined through the methodology activities down to organizational models.

[1]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[2]  H. Van Dyke Parunak,et al.  Engineering Swarming Systems , 2004 .

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

[4]  Fabien Michel,et al.  Environments for Multi-Agent Systems III , 2008 .

[5]  Alexis Drogoul,et al.  Applying an Agent-Oriented Methodology to the Design of Artificial Organizations: A Case Study in Robotic Soccer , 2004, Autonomous Agents and Multi-Agent Systems.

[6]  J. Price GO TO THE ANT...... , 1969, British Journal of Psychiatry.

[7]  Fabien Michel,et al.  Environments for Multi-Agent Systems II: Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited ... / Lecture Notes in Artificial Intelligence) , 2006 .

[8]  Susan Stepney,et al.  Engineering emergence , 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).

[9]  Barbara Webb,et al.  Swarm Intelligence: From Natural to Artificial Systems , 2002, Connect. Sci..

[10]  Franco Zambonelli,et al.  Co-Fields: A Physically Inspired Approach to Motion Coordination , 2004, IEEE Pervasive Comput..

[11]  H. Van Dyke Parunak,et al.  "Go to the ant": Engineering principles from natural multi-agent systems , 1997, Ann. Oper. Res..

[12]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[13]  John Mylopoulos,et al.  Goal-oriented requirements analysis and reasoning in the Tropos methodology , 2005, Eng. Appl. Artif. Intell..

[14]  F. Zambonelli,et al.  Co-Fields : A Physically Inspired Approach to Distributed Motion Coordination , 2004 .

[15]  Craig W. Reynolds Flocks, herds, and schools: a distributed behavioral model , 1987, SIGGRAPH.

[16]  Danny Weyns,et al.  Environments in multiagent systems , 2005, The Knowledge Engineering Review.

[17]  Sven A. Brueckner,et al.  RETURN FROM THE ANT SYNTHETIC ECOSYSTEMS FOR MANUFACTURING CONTROL , 2000 .

[18]  Jacques Ferber,et al.  A Formal Framework to Design and Reuse Agent and Multiagent Models , 2004 .

[19]  François Charpillet,et al.  Vision based localisation for a mobile robot , 2000, Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000.

[20]  José Carlos González,et al.  Analysis and Design of multiagent systems using MAS-CommonKADS , 1998 .

[21]  François Charpillet,et al.  A reactive agent-based problem-solving model: Application to localization and tracking , 2006, TAAS.

[22]  Fabien Michel,et al.  Environments for Multi-Agent Systems, First International Workshop, E4MAS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers , 2005, E4MAS.

[23]  Abder Koukam,et al.  Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification , 2004, J. Syst. Softw..

[24]  Abder Koukam,et al.  Car-driving assistance using organization measurement of reactive multi-agent system , 2010, ICCS.

[25]  Catherine Garbay,et al.  Multiagent architecture for scene interpretation , 2000, Defense, Security, and Sensing.

[26]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[27]  Scott A. DeLoach,et al.  Multiagent Systems Engineering: A Methodology and Language for Designing Agent Systems , 1999 .

[28]  Olivier Boissier,et al.  Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels , 2007, Int. J. Agent Oriented Softw. Eng..

[29]  Mercedes Garijo Ayestaran,et al.  Analysis and Design of Multiagent Systems Using MAS-Common KADS , 1997, ATAL.

[30]  Abder Koukam,et al.  A Reactive Agent Based Vehicle Platoon Algorithm with Integrated Obstacle Avoidance Ability , 2011, 2011 IEEE Fifth International Conference on Self-Adaptive and Self-Organizing Systems.

[31]  Gauthier Picard,et al.  Engineering Adaptive Multi-Agent Systems: The ADELFE Methodology , 2005 .

[32]  Martin K. Purvis,et al.  UML as an Ontology Modelling Language , 1999, Intelligent Information Integration.

[33]  Agostino Poggi,et al.  Exploiting UML in the Design of Multi-agent Systems , 2000, ESAW.

[34]  Abder Koukam,et al.  Formal driven prototyping approach for multiagent systems , 2008, Int. J. Agent Oriented Softw. Eng..

[35]  Nando de Freitas,et al.  Sequential Monte Carlo Methods in Practice , 2001, Statistics for Engineering and Information Science.

[36]  Stéphane Galland,et al.  ASPECS: an agent-oriented software process for engineering complex systems , 2010, Autonomous Agents and Multi-Agent Systems.

[37]  Ian Sommerville,et al.  Software Engineering (7th Edition) , 2004 .

[38]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993 .

[39]  S. Gaglio,et al.  Adapting PASSI to Support a Goal Oriented Approach : a Situational Method Engineering Experiment , 2007 .

[40]  Michael Winikoff,et al.  Prometheus: a methodology for developing intelligent agents , 2002, AAMAS '02.

[41]  Thomas R. Gruber,et al.  A Translation Approach to Portable Ontologies , 1993 .