Formalization of Cooperation in MAS: Towards a Generic Conceptual Model

  • Monia Loulou
  • Ahmed Hadj Kacem
  • Mohamed Jmaiel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3315)


This paper proposes a formal definition of a conceptual model for cooperation among multi-agent systems (MAS). This works constitutes a part of a general research project aiming at defining a generic interaction model that covers the different facets of the cooperative activity among MAS. We propose a framework for the specification, design and verification of interaction mechanisms. Doing so, and using the Z notation, we bring closer the concepts describing a cooperative activity while integrating them with the concepts related to the organizational modelling within a MAS. Moreover, we suggest a set of necessary properties needed to maintain the consistency at the individual level (Agent) as well as at the collective level (System). The syntax and the semantic of proposed specifications have been validated with the Z-eves verification tool [1].


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Meisels, I., Saaltink, M.: The Z/EVES 2.0 reference manual. Technical Report TR-99-5493-03e, ORA Canada, Canada (1999)Google Scholar
  2. 2.
    Luck, M., d’Inverno, M.: A formal framework for agency and autonomy. In: Proceedings of the first international conference on Multi-Agent Systems, pp. 254–260. AAAI Press/MIT Press (1995)Google Scholar
  3. 3.
    Rao, A.S., George, M.P.: Bdi agents: From theory to practice. In: Proceedings of the First International Conference on Multi-Agent Systems ICMAS, pp. 312–319 (1995)Google Scholar
  4. 4.
    Jmaiel, M., Hadj-Kacem, A.: A formal definition of cooperation and agency among multi-agent systems. In: Proceedings of the International Conference on Artificial and Computational Intelligence for Decision, Control and Automation in Engineering and Industrial Applications, Monastir, Tunisia (2000)Google Scholar
  5. 5.
    Ford, B., Karmouch, A.: An architectural model for mobile agent-based multimedia applications. In: Proceedings of Canadian Conference on Broadband Research, Ottawa (1997)Google Scholar
  6. 6.
    Ziade, F., Karmouch, A.: A multimedia transportable agent system. In: Proceedings of IEEE Canadian Conference Electronic Computer Engineering, St. John’s, NFLD (1997)Google Scholar
  7. 7.
    Tsvetovatyy, M., Gini, M., Mobasher, B., Wieckowski, Z.: Magma: An agent-based virtual market for electronic commerce. Journal of Applied Artificial Intelligence 11, 501–524 (1997)CrossRefGoogle Scholar
  8. 8.
    Oliveira, E., Rocha, A.: Agents advanced features for negotiation in electronic commerce and virtual organisations formation process. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 78–97. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  9. 9.
    Shen, W., Xue, D., Norrie, D.: An agent-based manufacturing enterprise infrastructure for distributed integrated intelligent manufacturing systems. In: Proceedings of The Third International Conference on the Practical Application of Intelligent Agents and Multi-agents, London,UK, pp. 533–548 (1998)Google Scholar
  10. 10.
    Shen, W., Barthes, J.: Dide: A multi-agent environment for engineering design. In: Proceeding of The First International Conference on Multi-Agent Systems, San Francisco, USA, pp. 344–351 (1995)Google Scholar
  11. 11.
    Aloulou, C., Hadrich-Belguith, L., Hadj-Kacem, A., Ben-Hamadou, A.: Conception et développement du syst‘eme MASPAR d’analyse de l’arabe selon une aproche agent. In: RFIA 2004, 14‘eme congr‘es francophone de la Reconnaissance des Formeset Intelligence Artificielle, Toulouse, France (2004)Google Scholar
  12. 12.
    Bowen, J.: Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press (1996)Google Scholar
  13. 13.
    Ferber, J.: Les syst‘emes multi-agents. In: Vers une intelligence collective, InterEdition (1995)Google Scholar
  14. 14.
    Jmaiel, M., Hadj-Kacem, A.: An operational semantics for negotiating agents. In: Kuwabara, K., Lee, J. (eds.) PRIMA 2002. LNCS, vol. 2413, pp. 77–91. Springer, Heidelberg (2002)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Monia Loulou
    • 1
  • Ahmed Hadj Kacem
    • 1
  • Mohamed Jmaiel
    • 1
  1. 1.Laboratory LARIS-FSEGSUniversity of SfaxSfaxTunisia

Personalised recommendations