SPACE: A method to increase tracability in MAS Development

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3067, Issue , 2004, Pages 201-220

  Mermet, Bruno ^a   Simon, Gaäle ^a   Fournier, Dominique ^a   Flouret, Marianne ^a  

^a Laboratoire d'Informatique du Havre   (France)

Author keywords

Agent model; Graph colouring; MAS development method

Indexed keywords

GRAPH THEORY; CONSTRAINT THEORY; FORMAL LOGIC; PROBLEM SOLVING; SEMANTICS; SOFTWARE AGENTS;

AGENT MODEL; BDI MODEL; CASE-STUDIES; GRAPH COLOURING; MAS DEVELOPMENT; MAS DEVELOPMENT METHOD; SPACE MODELS;

MULTI AGENT SYSTEMS;

AGENT MODEL; ENVIRONMENT VARIABLES PERCEPTIONS (EVP); GRAPH COLOURING; MAS DEVELOPMENT METHOD;

EID: 23144448081     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25936-7_11     Document Type: Conference Paper

References (26)

1. V. Jay D. Olivier C. Bertelle, M. Flouret and J.-L. Ponty. Automata with multiplicities as behaviour model in multi-agent simulations.
2. F. Comellas. An ant algorithm for the graph colouring problem. http://citeseer.nj.nec.com/112038.html.
3. Y. Demazeau. Voyelles, 2001.
4. R. Diestel. Graph Theory. Springer-Ver lag, New-York, 2000.
5. dimacs92. Clique and coloring problems, a brief introduction, with project ideas, 1992. ftp://dimacs.rutgers.edu/pub/challenge.
6. Raphaël Dorne and Jim-Kao Hao. A new genetic local search algorithm for graph coloring. In Agoston E. Eiben, Thomas Bä ck, Marc Schoenauer, and Hans-Paul Schwefel, editors, Parallel Problem Solving from Nature-PPSN V, pages 745-754, Berlin, 1998. Springer. http://citeseer.nj.nec.com/dorne98new.html.
7. A. Drogoul. De la simulation multi-agents à la résolution collective de problèmes: Une étude de l'é mergence de structure d'organisation dans les systèmes multiagents. PhD thesis, Univ. Paris VI, 1993.
8. J. Ferber and O. Gutknecht. Aalaadin: A meta-model for the analysis and design of organizations in multi-agent systems, 1998.
9. G. Ribeiro Filho. Improvements on constructive genetic approaches to graph coloring. http://citeseer.nj.nec.com/242708.html.
10. G. Ribeiro Filho and G. Lorena. A constructive genetic algorithm for graph coloring, 1997. http://citeseer.nj.nec.com/filho97constructive.html.
11. G. Ribeiro Filho and G. Lorena. Constructive genetic algorithm and column gene ration: An application to graph coloring, 2000. http://citeseer.nj.nec.com/filho00constructive.html.
12. M. Fisher. A survey of concurrent metatem-the language and its applications. In D.M. Gabbay and H.J. O hlbach, editors, Temporal logic-Proceedings of the first international conference, pages 480-505. LNAI, 1994
13. M. Flouret D. Fournier B. Mermet G. Simon. Formalisation des agents: Du modèle conceptuel au modèle opérationnel: Le modè le space. Technical report, Laboratoire d'Informatique du Havre 2003.
14. Tony Garneau and Sylvain Delisle. Evaluation comparative d'outils et d'environnements. In JFIADSMA, pages 281-284. Hermes, 2002.
15. O. Gutknecht and Jacques Ferber. La plateforme madkit et l'outil de conception sedit. In Systèmes Multiagents: Méthodologie, technologie et expériences, JFIADSMA00, pages 281-284. Hermes, 2000.
16. Jomi F. Hü bner, Jaime S. Sichman, and Olivier Boissier. Spécification structurelle, fonctionnelle et déontique d'organisations dans les sma. In Systèmes Multiagents et Systèmes Complexes, JFIADSMA02, pages 205-216. Hermes, 2002.
17. Carlos Iglesias, Mercedes Garrijo, and José Gonzalez. A survey of agent-oriented methodologies. In Jörg Müller, Munindar P. Singh, and Anand S. Rao, editors, Proceedings of the 5th International Workshop on Intelligent Agents V: Agent Theories, Architectures, and Languages (ATAL-98), volume 1555, pages 317-330. Springer-Verlag: Heidelberg, Germany, 1999.
18. Bruno Me rmet. Formal model of a multiagent system. In Robert Trappl, editor, Cybernetics and Systems, pages 653-658. Austrian Society for Cybernetics Studies, 2002.
19. H.S. Nwana, D.T. Ndumu, L.C. Lee, and J.C. Collis. Zeus: A toolkit for building distributed multi-agents systems. Applied Artificial Intelligence Journal, 13 (1/ 2):129-185, 1999.
20. A. Rao and M. Georgeff. Bdi agents from the ory to practice. In Technical note 56. AAII, 1995.
21. G. Rimassa, F. Bellifemine, and A. Poggi. Jade-a fipa compliant agent framework. In PMAA'99, pages 97-108, 1999.
22. Ars ène Sabas, Sylvain Delisle, and Mourad Badri. A comparative analysis of multiagent system development methodologies: Towards a unified approach. In Robert Trappl, editor, Cybernetics and Systems, pages 599-604. Austrian S ociety for Cybernetics Studies, 2002.
23. Gaë le Simon, Marianne Flouret, and Bruno Mermet. A methodology to solve optimisation problems with mas; application to the graph colouring problem. In AIMSA. LNAI, 2002.
24. A. Vesel and J. Zerovnik. How good can ants color graphs? Journal of computing and Information Technology-CIT, 8:131-136, 2000. http://citeseer.nj.nec.com/443529.html.
25. Michael Wooldridge and Nicholas R. Jennings. Pitfalls of agent-oriented development. In Katia P. Sycara and Michael Wooldridge, editors, Proceedings of the 2nd International Conference on Autonomous Agents (Agents'98), pages 385-391, New York, 9-13, 1998. ACM Press.
26. Michael Wooldridge, Nicholas R. Jennings, and David Kinny. The gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems, 3(3):285-312, 2000.