Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Jay, V., Olivier, D., Bertelle, C., Flouret, M., Ponty, J.-L.: Automata with multiplicities as behaviour model in multi-agent simulations
Comellas, F.: An ant algorithm for the graph colouring problem, http://citeseer.nj.nec.com/112038.html
Demazeau, Y.: Voyelles (2001)
Diestel, R.: Graph Theory. Springer, New-York (2000)
dimacs 1992. Clique and coloring problems, a brief introduction, with project ideas (1992), ftp://dimacs.rutgers.edu/pub/challenge
Dorne, R., Hao, J.-K.: A new genetic local search algorithm for graph coloring. In: Eiben, A.E., Bäck, T., Schoenauer, M., Schwefel, H.-P. (eds.) Parallel Problem Solving from Nature – PPSN V, Berlin, pp. 745–754. Springer, Heidelberg (1998), http://citeseer.nj.nec.com/dorne98new.html
Drogoul, A.: 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)
Ferber, J., Gutknecht, O.: Aalaadin: a meta-model for the analysis and design of organizations in multi-agent systems (1998)
Ribeiro Filho, G.: Improvements on constructive genetic approaches to graph coloring, http://citeseer.nj.nec.com/242708.html
Ribeiro Filho, G., Lorena, G.: A constructive genetic algorithm for graph coloring (1997), http://citeseer.nj.nec.com/filho97constructive.html
Ribeiro Filho, G., Lorena, G.: Constructive genetic algorithm and column generation: an application to graph coloring (2000), http://citeseer.nj.nec.com/filho00constructive.html
Fisher, M.: A survey of concurrent metatem - the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS (LNAI), vol. 827, pp. 480–505. Springer, Heidelberg (1994)
Flouret, M., Fournier, D., Mermet, B., Simon, G.: Formalisation des agents: du modèle conceptuel au modèle opérationnel: le modèle space. Technical report, Laboratoire d’Informatique du Havre (2003)
Garneau, T., Delisle, S.: Evaluation comparative d’outils et d’environnements. In: JFIADSMA, pp. 281–284. Hermes (2002)
Gutknecht, O., Ferber, J.: La plateforme madkit et l’outil de conception sedit. In: Systèmes Multiagents: Méthodologie, technologie et expériences, JFIADSMA 2000, pp. 281–284. Hermes (2000)
Hübner, J.F., Sichman, J.S., Boissier, O.: Spécification structurelle, fonctionnelle et déontique d’organisations dans les sma. In: Systèmes Multiagents et Systèmes Complexes, JFIADSMA 2002, pp. 205–216. Hermes (2002)
Iglesias, C., Garrijo, M., Gonzalez, J.: A survey of agent-oriented methodologies. In: Rao, A.S., Singh, M.P., Müller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol. 1555, pp. 317–330. Springer, Heidelberg (1999)
Mermet, B.: Formal model of a multiagent system. In: Trappl, R. (ed.) Cybernetics and Systems, pp. 653–658. Austrian Society for Cybernetics Studies (2002)
Nwana, H.S., Ndumu, D.T., Lee, L.C., Collis, J.C.: Zeus: a toolkit for building distributed multi-agents systems. Applied Artificial Intelligence Journal 13(1/2), 129–185 (1999)
Rao, A., Georgeff, M.: Bdi agents from theory to practice. In: Technical note 56. AAII (1995)
Rimassa, G., Bellifemine, F., Poggi, A.: Jade - a fipa compliant agent framework. In: PMAA 1999, pp. 97–108 (1999)
Sabas, A., Delisle, S., Badri, M.: A comparative analysis of multiagent system development methodologies: Towards a unified approach. In: Trappl, R. (ed.) Cybernetics and Systems, pp. 599–604. Austrian Society for Cybernetics Studies (2002)
Simon, G., Flouret, M., Mermet, B.: A methodology to solve optimisation problems with mas; application to the graph colouring problem. In: Scott, D. (ed.) AIMSA 2002. LNCS (LNAI), vol. 2443, p. 162. Springer, Heidelberg (2002)
Vesel, A., Zerovnik, J.: How good can ants color graphs? Journal of computing and Information Technology - CIT 8, 131–136 (2000), http://citeseer.nj.nec.com/443529.html
Wooldridge, M., Jennings, N.R.: Pitfalls of agent-oriented development. In: Sycara, K.P., Wooldridge, M. (eds.) Proceedings of the 2nd International Conference on Autonomous Agents (Agents 1998), 9-13, pp. 385–391. ACM Press, New York (1998)
Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems 3(3), 285–312 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mermet, B., Simon, G., Fournier, D., Flouret, M. (2004). SPACE: A Method to Increase Tracability in MAS Development. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds) Programming Multi-Agent Systems. ProMAS 2003. Lecture Notes in Computer Science(), vol 3067. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25936-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-25936-7_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22180-7
Online ISBN: 978-3-540-25936-7
eBook Packages: Springer Book Archive