Abstract
Self-organisation is being recognised as an effective conceptual framework to deal with the complexity inherent to modern artificial systems. In this article, we explore the applicability of self-organisation principles to the development of multi-agent system (MAS) environments. First, we discuss a methodological approach for the engineering of complex systems, which features emergent properties: this is based on formal modelling and stochastic simulation, used to analyse global system dynamics and tune system parameters at the early stages of design. Then, as a suitable target for this approach, we describe an architecture for self-organising environments featuring artifacts and environmental agents as fundamental entities.
As an example, we analyse a MAS distributed environment made of tuple spaces, where environmental agents are assigned the task of moving tuples across tuples spaces in background and according to local criteria, making complete clustering an emergent property achieved through self-organisation.
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
Weyns, D., Omicini, A., Odell, J.: Environment as a first-class abstraction in multi-agent systems. Autonomous Agents and Multi-Agent Systems, Special Issue on Environments for Multi-agent Systems 14(1), 5–30 (2007), http://springerlink.metapress.com/content/w571550106301124/ , doi:10.1007/s10458-006-0012-0
Viroli, M., Holvoet, T., Ricci, A., Shelfthout, K., Zambonelli, F.: Infrastructures for the environment of multiagent systems. Autonomous Agents and Multi-Agent Systems, Special Issue on Environments for Multi-agent Systems 14(1), 49–60 (2007), http://springerlink.metapress.com/content/h022lr310j71j74p/ , doi:10.1007/s10458-006-9001-6
Omicini, A., Ricci, A., Viroli, M.: Agens F aber: Toward a theory of artefacts for MAS. COORDINATION 2005 150(3), 21–36 (2006), 1st International Workshop “Coordination and Organization” (CoOrg 2005), COORDINATION 2005, Namur, Belgium, 22 April 2005. Proceedings
Ricci, A., Viroli, M., Omicini, A.: Construenda est CArtAgO: Toward an infrastructure for artifacts in MAS. In: Trappl, R. (ed.) Cybernetics and Systems 2006, vol. 2, Vienna, Austria, pp. 569–574. Austrian Society for Cybernetic Studies (2006), 18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), 5th International Symposium “From Agent Theory to Theory Implementation” (AT2AI-5). Proceedings
Gardelli, L., Viroli, M., Omicini, A.: On the role of simulations in engineering self-organising MAS: The case of an intrusion detection system in TuCSoN. In: Brueckner, S.A., Di Marzo Serugendo, G., Hales, D., Zambonelli, F. (eds.) ESOA 2005. LNCS (LNAI), vol. 3910, pp. 153–168. Springer, Heidelberg (2006)
Gardelli, L., Viroli, M., Omicini, A.: Exploring the dynamics of self-organising systems with stochastic π-calculus: Detecting abnormal behaviour in MAS. In: Trappl, R. (ed.) Cybernetics and Systems 2006, vol. 2, Vienna, Austria, pp. 539–544. Austrian Society for Cybernetic Studies (2006), 18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), 5th International Symposium “From Agent Theory to Theory Implementation” (AT2AI-5). Proceedings
Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41–50 (2003), http://dx.doi.org/10.1109/MC.2003.1160055
Bonabeau, E., Dorigo, M., Theraulaz, G.: Swarm Intelligence: From Natural to Artificial Systems. Santa Fe Institute Studies in the Sciences of Complexity. Oxford University Press, Oxford (1999)
Casadei, M., Gardelli, L., Viroli, M.: Simulating emergent properties of coordination in Maude: the collective sorting case. In: Canal, C., Viroli, M. (eds.) Proceedings of 5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA’06), CONCUR 2006, Bonn, Germany, University of Málaga, Spain, University of Málaga, Spain (2006), http://foclasa06.lcc.uma.es/
Camazine, S., Deneubourg, J.-L., Franks, N.R., Sneyd, J., Theraulaz, G., Bonabeau, E.: Self-Organization in Biological Systems. Princeton Studies in Complexity. Princeton University Press, Princeton (2001)
Zambonelli, F., Jennings, N.R., Wooldridge, M.J.: Developing multiagent systems: The Gaia methodology. ACM Transactions on Software Engineering and Methodology (TOSEM) 12(3), 317–370 (2003), http://doi.acm.org/10.1145/958961.958963 , doi:10.1145/958961.958963
Molesini, A., Omicini, A., Denti, E., Ricci, A.: SODA: A roadmap to artefacts. In: Dikenelli, O., Gleizes, M.-P., Ricci, A. (eds.) ESAW 2005. LNCS (LNAI), vol. 3963, pp. 49–62. Springer, Heidelberg (2006)
Bernon, C., Gleizes, M.-P., Peyruqueou, S., Picard, G.: ADELFE: A methodology for adaptive multi-agent systems engineering. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, pp. 156–169. Springer, Heidelberg (2003)
Bar-Yam, Y.: About engineering complex systems: Multiscale analysis and evolutionary engineering. In: Brueckner, S.A., Di Marzo Serugendo, G., Karageorgos, A., Nagpal, R. (eds.) Engineering Self-Organising Systems. LNCS (LNAI), vol. 3464, pp. 16–31. Springer, Heidelberg (2005)
Mamei, M., Menezes, R., Tolksdorf, R., Zambonelli, F.: Case studies for self-organization in computer science. Journal of Systems Architecture, Special Issue on Nature-Inspired Applications and Systems 52(8–9), 443–460 (2006), http://dx.doi.org/10.1016/j.sysarc.2006.02.002 , doi:10.1016/j.sysarc.2006.02.002
Phillips, A.: The Stochastic Pi Machine (SPiM), Version 0.042 (2006), available online at, http://www.doc.ic.ac.uk/~anp/spim/
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81(25), 2340–2361 (1977)
Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic Pi-calculus. In: Ingolfsdottir, A., Nielson, H.R. (eds.) Workshop on Concurrent Models in Molecular Biology (BioConcur 2004), CONCUR 2004, London, UK (2004)
Ricci, A., Viroli, M., Omicini, A.: Programming MAS with artifacts. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Programming Multi-Agent Systems. LNCS (LNAI), vol. 3862, pp. 206–221. Springer, Heidelberg (2006)
Gutowitz, H.: Complexity-seeking ants. In: Deneubourg, J.-L., Goss, S., Nicolis, G. (eds.) 2nd European Conference on Artificial Life (ECAL’93), Brussels, Belgium, 24–26 May, pp. 429–439 (1993)
Omicini, A., Denti, E.: From tuple spaces to tuple centres. Science of Computer Programming 41(3), 277–294 (2001)
Clavel, M., Duràn, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual, Version 2.2. Department of Computer Science University of Illinois at Urbana-Champaign (2005)
Valckenaers, P., Holvoet, T.: The environment: An essential absraction for managing complexity in mas-based manufacturing control. In: Weyns, D., Parunak, H.V.D., Michel, F. (eds.) E4MAS 2005. LNCS (LNAI), vol. 3830, pp. 205–217. Springer, Heidelberg (2006)
Simonin, O., Gechter, F.: An environment-based methodology to design reactive multi-agent systems for problem solving. In: Weyns, D., Parunak, H.V.D., Michel, F. (eds.) E4MAS 2005. LNCS (LNAI), vol. 3830, pp. 32–49. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Gardelli, L., Viroli, M., Casadei, M., Omicini, A. (2007). Designing Self-organising MAS Environments: The Collective Sort Case. In: Weyns, D., Parunak, H.V.D., Michel, F. (eds) Environments for Multi-Agent Systems III. E4MAS 2006. Lecture Notes in Computer Science(), vol 4389. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71103-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-71103-2_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71102-5
Online ISBN: 978-3-540-71103-2
eBook Packages: Computer ScienceComputer Science (R0)