From AO Methodologies to MAS Infrastructures: The SODA Case Study

  • Ambra Molesini
  • Enrico Denti
  • Andrea Omicini
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4995)


In the last years, research on agent-oriented (AO) methodologies and multi-agent system (MAS) infrastructures has developed along two opposite paths: while AO methodologies have essentially undergone a top-down evolution pushed by contributions from heterogeneous fields like human sciences, MAS infrastructures have mostly followed a bottom-up path growing from existing and widespread (typically object-oriented) technologies. This dichotomy has produced a conceptual gap between the proposed AO methodologies and the agent infrastructures actually available, as well as a technical gap in the MAS engineering practice, where methodologies are often built ad hoc out of MAS infrastructures, languages and tools.

This paper proposes a new method for filling the gap between methodologies and infrastructures based on the definition and study of the meta-models of both AO methodologies and MAS infrastructures. By allowing structural representation of abstractions to be captured along with their mutual relations, meta-models make it possible to map design-time abstractions from AO methodologies upon run-time abstractions from MAS technologies, thus promoting a more coherent and effective practice in MAS engineering. In order to validate our method, we take an AO methodology – SODA – and show how it can be mapped upon three different MAS infrastructures using meta-models as mapping guidelines.


Multiagent System Agent Platform Model Drive Architecture Tuple Space Model Drive Architecture 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Zambonelli, F., Jennings, N., Wooldridge, M.: Multiagent systems as computational organizations: the Gaia methodology. In: [43], ch. VI, pp. 136–171Google Scholar
  2. 2.
    Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: The Gaia methodology. ACM Transactions on Software Engineering and Methodology (TOSEM) 12, 317–370 (2003)CrossRefGoogle Scholar
  3. 3.
    Giorgini, P., Kolp, M., Mylopoulos, J., Castro, J.: Tropos: A requirements-driven methodology for agent-oriented software. In: [43], ch. II, pp. 20–45Google Scholar
  4. 4.
    Tropos: Home page,
  5. 5.
    Cossentino, M.: From requirements to code with the PASSI methodology. In: [43], pp. 79–106Google Scholar
  6. 6.
    Cossentino, M., Sabatucci, L., Chella, A.: Patterns reuse in the PASSI methodology. In: Omicini, A., Petta, P., Pitt, J. (eds.) ESAW 2003. LNCS (LNAI), vol. 3071, pp. 294–310. Springer, Heidelberg (2004)Google Scholar
  7. 7.
    Omicini, A.: SODA: Societies and infrastructures in the analysis and design of agent-based systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 185–193. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  8. 8.
  9. 9.
    Omicini, A., Rimassa, G.: Towards seamless agent middleware. In: IEEE 13th Inter. Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2004). 2nd Inter. Workshop “Theory and Practice of Open Computational Systems” (TAPOCS 2004), pp. 417–422. IEEE Computer Society Press, Los Alamitos (2004)Google Scholar
  10. 10.
    Omicini, A., Zambonelli, F.: Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems 2, 251–269 (1999)CrossRefGoogle Scholar
  11. 11.
    TUCSON: Home page at SourceForge,
  12. 12.
    Mamei, M., Zambonelli, F.: Programming stigmergic coordination with the TOTA middleware. In: Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M.P., Wooldridge, M. (eds.) Proceedings of AAMAS 2005, pp. 415–422. ACM Press, New York (2005)CrossRefGoogle Scholar
  13. 13.
    Mamei, M., Zambonelli, F.: Programming modular robots with the tota middleware. In: Nakashima, H., Wellman, M.P., Weiss, G., Stone, P. (eds.) 5th Inter. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pp. 485–487. ACM Press, New York (2006)CrossRefGoogle Scholar
  14. 14.
    Ricci, A., Viroli, M., Omicini, A.: CArtAgO: A framework for prototyping artifact-based environments in MAS. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2006. LNCS (LNAI), vol. 4389, pp. 67–86. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  15. 15.
    CARTAGO: Home page,
  16. 16.
    Molesini, A., Denti, E., Omicini, A.: MAS meta-models on test: UML vs. OPM in the SODA case study. In: Pěchouček, M., Petta, P., Varga, L.Z. (eds.) CEEMAS 2005. LNCS (LNAI), vol. 3690, pp. 163–172. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  17. 17.
    PASSI: Toolkit web page,
  18. 18.
  19. 19.
    Garijo, F.J., Gòmez-Sanz, J.J., Massonet, P.: The MESSAGE methodoly for agent-oriented analysis and design. In: [43], ch. VIII, pp. 203–235Google Scholar
  20. 20.
    Caire, G., Coulier, W., Garijo, F.J., Gomez, J., Pavòn, J., Leal, F., Chainho, P., Kearney, P.E., Stark, J., Evans, R., Massonet, P.: Agent oriented analysis using Message/UML. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 119–135. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  21. 21.
    Pavòn, J., Gòmez-Sanz, J.J., Fuentes, R.: The INGENIAS methodology and tools. In: [43], ch. IX, pp. 236–276Google Scholar
  22. 22.
    JADE: Home page (2000),
  23. 23.
    Bellifemine, F., Poggi, A., Rimassa, G.: Developing multi-agent systems with a fipa-compliant agent framework. Softw., Pract. Exper. 31, 103–128 (2001)zbMATHCrossRefGoogle Scholar
  24. 24.
    Bernon, C., Cossentino, M., Gleizes, M.P., Turci, P., Zambonelli, F.: A study of some multi-agent meta-models. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 62–77. Springer, Heidelberg (2005)Google Scholar
  25. 25.
    van Hillegersberg, J., Kumar, K., Welke, R.J.: Using metamodeling to analyze the fit of object-oriented methods to languages. In: 31st Hawaii Inter. Conference on System Sciences (HICSS 1998), Modeling Technologies and Intelligent Systems, Kohala Coast, HI, USA, vol. 5, pp. 323–332. IEEE Computer Society Press, Los Alamitos (1998)Google Scholar
  26. 26.
    Molesini, A., Omicini, A., Ricci, A., Denti, E.: Zooming multi-agent systems. In: Müller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol. 3950, pp. 81–93. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  27. 27.
    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)CrossRefGoogle Scholar
  28. 28.
    Omicini, A., Ricci, A., Viroli, M.: Coordination artifacts as first-class abstractions for MAS engineering: State of the research. In: Garcia, A., Choren, R., Lucena, C., Giorgini, P., Holvoet, T., Romanovsky, A. (eds.) SELMAS 2005. LNCS, vol. 3914, pp. 71–90. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  29. 29.
    Omicini, A., Ricci, A., Viroli, M.: Agens Faber: Toward a theory of artefacts for MAS. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. Electronic Notes in Theoretical Computer Sciences, vol. 150, pp. 21–36 (2005)Google Scholar
  30. 30.
    Omicini, A.: Formal ReSpecT in the A&A perspective. Electronic Notes in Theoretical Computer Sciences 175, 97–117 (2007); Post-proceedings of 5th Inter. Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2006), CONCUR 2006, Bonn, Germany August 31 (2006)CrossRefGoogle Scholar
  31. 31.
    Gelernter, D.: Generative communication in Linda. ACM Transactions on Programming Languages and Systems 7, 80–112 (1985)zbMATHCrossRefGoogle Scholar
  32. 32.
    Gelernter, D., Carriero, N.: Coordination languages and their significance. Communications of the ACM 35, 97–107 (1992)CrossRefGoogle Scholar
  33. 33.
    Omicini, A.: Towards a notion of agent coordination context. In: Marinescu, D.C., Lee, C. (eds.) Process Coordination and Ubiquitous Computing, pp. 187–200. CRC Press, Boca Raton (2002)Google Scholar
  34. 34.
    Ricci, A., Viroli, M., Omicini, A.: CArtAgO: An infrastructure for engineering computational environments in MAS. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2006, pp. 102–119 (2006)Google Scholar
  35. 35.
    Parunak, H.V.D.: Go to the ant: Engineering principles from natural agent systems. Annals of Operation Research 75, 69–101 (1997)zbMATHCrossRefGoogle Scholar
  36. 36.
    Viroli, M., Omicini, A., Ricci, A.: Engineering MAS environment with artifacts. In: Weyns, D., Parunak, H.V.D., Michel, F. (eds.) E4MAS 2005, pp. 62–77 (2006)Google Scholar
  37. 37.
    Papadopoulos, G.A., Arbab, F.: Coordination models and languages. Advances in Computers 46, 330–401 (1998)Google Scholar
  38. 38.
    OMG: Home page,
  39. 39.
    Gracanin, D., Singh, H.L., Bohner, S.A., Hinchey, M.G.: Model-driven architecture for agent-based systems. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol. 3228, pp. 249–261. Springer, Heidelberg (2004)Google Scholar
  40. 40.
    Amor, M., Fuentes, L., Vallecillo, A.: Bridging the gap between agent-oriented design and implementation using MDA. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 93–108. Springer, Heidelberg (2005)Google Scholar
  41. 41.
    Cabri, G., Leonardi, L., Zambonelli, F.: MARS: A programmable coordination architecture for mobile agents. IEEE Internet Computing 4(4), 26–35 (2000)CrossRefGoogle Scholar
  42. 42.
    Sycara, K.P., Paolucci, M., Velsen, M.V., Giampapa, J.A.: The RETSINA MAS infrastructure. Autonomous Agents and Multi-Agent Systems 7, 29–48 (2003)CrossRefGoogle Scholar
  43. 43.
    Henderson-Sellers, B., Giorgini, P. (eds.): Agent Oriented Methodologies. Idea Group Publishing, Hershey (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Ambra Molesini
    • 1
  • Enrico Denti
    • 1
  • Andrea Omicini
    • 2
  1. 1.Alma Mater Studiorum Università di BolognaBolognaItaly
  2. 2.Alma Mater Studiorum Università di Bologna a CesenaCesenaItaly

Personalised recommendations