SPACE: A Method to Increase Tracability in MAS Development

This paper deals with a method and a model called SPACE allowing to design multiagent systems. Their main interest is to introduce tools to design and to validate the produced system at the same time. First, the main steps of the proposed method are described. Then, the different components of the SPACE model are defined. Finally, two case studies (on a BDI model and on a graph colouring problem) show how the method and the model can be applied.

[1]  Reinhard Diestel,et al.  Graph Theory , 1997 .

[2]  Hyacinth S. Nwana,et al.  ZEUS: a toolkit and approach for building distributed multi-agent systems , 1999, AGENTS '99.

[3]  F. Comellas,et al.  An Ant Algorithm for the Graph Colouring Problem , 1998 .

[4]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[5]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[6]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[7]  Thomas Bäck,et al.  Parallel Problem Solving from Nature — PPSN V , 1998, Lecture Notes in Computer Science.

[8]  Carlos Angel Iglesias,et al.  A Survey of Agent-Oriented Methodologies , 1998, ATAL.

[9]  Olivier Boissier,et al.  Spécification structurelle, fonctionnelle et déontique d'organisations dans les SMA , 2002, JFSMA.

[10]  Sylvain Delisle,et al.  A comparative analysis of multiagent system development methodologies: Towards a unified approach , 2002 .

[11]  A. Drogoul.  De la simulation multi-agents a la resolution collective de problemes : une etude de l'emergence de structures d'organisation dans les systemes multi-agents , 1993 .

[12]  Luiz Antonio Nogueira Lorena,et al.  Constructive Genetic Algorithm and Column Generation: an Application to Graph Coloring , 2000 .

[13]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[14]  Jacques Ferber,et al.  A meta-model for the analysis and design of organizations in multi-agent systems , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[15]  Michael Fisher,et al.  A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.

[16]  Janez Žerovnik,et al.  How Well Can Ants Color Graphs , 2000 .

[17]  Sylvain Delisle,et al.  Programmation orientée-agent : évaluation comparative d'outils et environnements , 2002, JFSMA.

[18]  Gaële Simon,et al.  A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring Problem , 2002, AIMSA.

[19]  Agostino Poggi,et al.  Jade - a fipa-compliant agent framework , 1999 .

[20]  Nicholas R. Jennings,et al.  Pitfalls of agent-oriented development , 1998, AGENTS '98.

[21]  Jin-Kao Hao,et al.  A New Genetic Local Search Algorithm for Graph Coloring , 1998, PPSN.