Programming Electronic Institutions with Utopia

  • Pierre Schmitt
  • Cédric Bonhomme
  • Jocelyn Aubert
  • Benjamin Gâteau
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 72)


In Multi-Agent Systems, Organizations are means to structure cooperation and collaboration between agents. MoiseInst is a normative Organization model giving the possibility to constraint agents behaviour according to four dimensions (structural, functional, contextual and normative). Mabeli as Electronic Institution model allows the supervision of MoiseInst Organizations compliance through an arbitration system. The difficulty is to easily instantiate such Organizations to obtain a dynamic entity in which agents can evolve. In this paper we introduce Utopia, our Institution-oriented and Institution-based programming framework. Utopia permits to easily and automatically set up a MAS thanks to a XML MoiseInst Specification file. The framework convert this file into an innovative mathematical structure namely a recursive graph, and solve several optimization problems in order to compute the most efficient role distribution. We show a concrete application of the prototype through RED, an EUREKA/CELTIC European project use-case.


Normative Organisation Electronic Institution Multi-Agent System Recursive Graphe 


  1. 1.
    North, D.C.: Institutions, Institutional Change and Economic Performance. Political Economy of Institutions and Decisions. Cambridge University Press, Cambridge (October 26, 1990)CrossRefGoogle Scholar
  2. 2.
    Jones, A., Carmo, J.: Deontic logic and contrary-to-duties. In: Handbook of Philosophical Logic, pp. 203–279. Kluwer, Dordrecht (2001)Google Scholar
  3. 3.
    Hübner, J.F., Sichman, J.S., Boissier, O.: A model for the structural, functional, and deontic specification of organizations in multiagent systems. In: Bittencourt, G., Ramalho, G.L. (eds.) SBIA 2002. LNCS (LNAI), vol. 2507, pp. 118–128. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  4. 4.
    Esteva, M., Rosell, B., Rodriguez-Aguilar, J.A., Arcos, J.L.: Ameli: An agentbased middleware for electronic institutions. In: AAMAS 2004, pp. 236–243. ACM Press, New York City (July 19-23, 2004)Google Scholar
  5. 5.
    Dignum, V., Vázquez-Salceda, J., Dignum, F.P.M.: OMNI: Introducing social structure, norms and ontologies into agent organizations. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2004. LNCS (LNAI), vol. 3346, pp. 181–198. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Gâteau, B., Boissier, O., Khadraoui, D., Martinez, F.H.: Controlling an interactive game with a multi-agent based normative organisational model. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, pp. 86–100. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  7. 7.
    Gâteau, B.: Modélisation et supervision d’institution multi-agent. PhD thesis, ENS Mines Saint-Etienne (2007)Google Scholar
  8. 8.
    Harel, D.: Towards a theory of recursive structures. In: Brim, L., Gruska, J., Zlatuška, J. (eds.) MFCS 1998. LNCS, vol. 1450, pp. 36–53. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  9. 9.
    Caseau, Y., Krob, D., Peyronnet, S.: Complexité des systèmes d’information: une famille de mesures de la complexité scalaire d’un schéma d’architecture. In: Génie Logiciel, pp. 23–30 (2007)Google Scholar
  10. 10.
    Simon, H.D.: Partitioning of unstructured problems for parallel processing. Computing Systems in Engineering 2, 135–148 (1991)CrossRefGoogle Scholar
  11. 11.
    Berge, C.: Hypergraphes. Combinatoires des ensembles finis. Gauthier-Villars (1987) ISBN 2-04-016906-7Google Scholar
  12. 12.
    Feltus, C., Khadraoui, D., de Remont, B., Rifaut, A.: Business governance based policy regulation for security incident response. In: Crisis 2007, Marrakech, Morocco (July 2-5, 2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Pierre Schmitt
    • 1
  • Cédric Bonhomme
    • 1
  • Jocelyn Aubert
    • 1
  • Benjamin Gâteau
    • 1
  1. 1.Centre de Recherche Public Henri Tudor, Service Science and Innovation Dpt., G.D. of LuxembourgLuxembourg

Personalised recommendations