Specifying DIMA Multi-agents Models Using Maude

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3371)


The lack of formalism and rigor in existing multi-agents models often leads to ambiguities and different interpretations. Those weaknesses combined with the inherent complexity of multi-agents systems generate many problems in their development process. Using formal notations to specify multi-agents systems’ behavior makes it possible to produce precise description. This also offers a better support to their verification and validation process. The Maude language, based on rewriting logic, presents a rich notation supporting formal specification and implementation of concurrent systems. In this paper, we demonstrate the feasibility and the interest of formalizing the behavior of DIMA model’s agents with the Maude language. The elaborated formal approach captures the inherent aspects of a DIMA model. The generated Maude descriptions have been validated using the platform supporting this language. Moreover, the proposed approach is generic and extensible. It offers, in particular, the advantage of being applicable to all multi-agents systems based on DIMA architecture and presents interesting extension possibilities.


Shared Resource Communication Module Concurrent System Perception Module Internal Behavior 
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.
    Amyot, D., Logrippo, L., Burh, R.J.A.: Spécification et Conception de Systèmes Communicants: une Approche Rigoureuse Basée sur des Scénarios d’Usage. In: Leduc, G. (ed.) CFIP 1997, Ingénierie des protocoles, Liège, Belgium, Hermès, pp. 159–174 (1997)Google Scholar
  2. 2.
    Andriamasinoro, F., Courdier, R.: Un Modèle Dynamique de Comportement Agent à Base de Besoins. In: Journées Francophones sur l’IAD et les SMAs (JFIADSMA 2001), Montréal, Québec, Canada (2001)Google Scholar
  3. 3.
    Bakam, I., Kordon, F., Le Page, C., Bousquet, F.: Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of a Hunting Management System. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol. 1871, p. 123. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  4. 4.
    Bettaz, M., Maouche, M.: How to specify Non Determinism and True Concurrency with Algebraic Term Nets. LNCS, vol. 655, pp. 11–30. Springer, Berlin (1993)Google Scholar
  5. 5.
    Bussmann, S., Demazeau, Y.: An agent model combining reactive and cognitive capabilities. In: Proc. of IEEE International conference on intelligent Robots and Systems - IROS’S 1994, Munchen (1994)Google Scholar
  6. 6.
    Chaoui, A., Bouzenada, M.: G-ECATNets: An Object Petri Net-Based Framework for the Modular Design of Complex Information Systems. In: ISIICT 2001 (2001)Google Scholar
  7. 7.
    Cost, R., et al.: Modeling Agent Conversations with colored Petri Nets. In: Working Notes of the Workshop on Specifing and Implementing Conversation Policies, Autonomous Agents 1999, Seattle, Washington (1999)Google Scholar
  8. 8.
    Ferguson, I.A.: On supporting rational behavior in real time multi-agent domains. In: Proc. of AAAI Full Symposium on Rational Agency: concepts, theories, models and applications, Cambridge, MA, pp. 61–65 (November 1995)Google Scholar
  9. 9.
    Franchesquin, N., Espinasse, B.: Analyse multi-agents de la gestion hydraulique de la camangue: considérations méthodologiques. In: Communication soumise à JFIADSMA 2000, Saint Etienne, October 2-4 (2000)Google Scholar
  10. 10.
    Guessoum, Z.: Un Environnement Opérationnel de Conception et de Réalisation de Systèmes Multi-agents. Thèse de l’Université Paris 6, LAFORIA (1996)Google Scholar
  11. 11.
    Guessoum, Z., Briot, J.-P., Dojat, M.: Des objets concurrents aux agents autonomes. In: Quinqueton, J., Thomas, M.C., Trousse, B. (eds.) JFIADSMA 1997, Hermès, pp. 93–106 (1997)Google Scholar
  12. 12.
    Guessoum, Z.: Modèles et Architéctures d’Agents et de Systèmes Multi-Agents Adaptatifs. Dossier d’habilitation à diriger des recherches de l’Université Pierre et Marie Curie (2003)Google Scholar
  13. 13.
    Clavel, M., et al.: Maude: Specification and Programming in Rewriting Logic. Internal report, SRI International (1999)Google Scholar
  14. 14.
    McCombs, T.: Maude 2.0 Primer, Version 1.0. Internal report, SRI International (2003)Google Scholar
  15. 15.
    Meseguer, J.: Rewriting as a unified model of concurrency. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol. 458, pp. 384–400. Springer, Heidelberg (1990)Google Scholar
  16. 16.
    Meseguer, J.: A Logical Theory of Concurrent Objects and its Realization in the Maude Language. In: Agha, G., Wegner, P., Yonezawa, A. (eds.) Research Directions in Object-Based Concurrency. MIT Press, Cambridge (1992)Google Scholar
  17. 17.
    Muller, J.-P., Pischel, M.: Modeling reactive behavior in vertically layered agents architectures. In: Proc of ECAI 1994, Amsterdam, NL, pp. 709–713 (1994)Google Scholar
  18. 18.
    Odell, J., Parunak, H.V.D., Bauer, B.: Representing agent Interaction protocol In UML. In: Conférence AAAI Agents 2000, Barcelone (2000)Google Scholar
  19. 19.
    Odell, J., Parunak, H.V.D., Bauer, B.: Representing agent Interaction protocol In UML. In: Ciancarini, P., Wooldridge, M. (eds.) Agent Oriented Software Enginering, pp. 121–140. Springer, Berlin (2001)CrossRefGoogle Scholar
  20. 20.
    Paurobally, S., Cunningham, J.: Achieving Common Interaction Protocols in Open Agent Environments. In: 2nd international workshop on Challenges in Open Agent Environments, AAMAS 2003, Melbourne, Australia (2003)Google Scholar
  21. 21.
    Saake, G., Hartman, T., Junglaus, R., Ehrich, H.-D.: Object-Oriented Design of Information Systems: Troll language Features. In: Proceedings CISM School Udine 1993. LNCS, Springer, Heidelberg (1993)Google Scholar
  22. 22.
    Tranvouez, E., Espinasse, B.: Protocoles de coopération pour le réordonnancement d’atelier. In: Gleizes, J.-P., Marcenac, P. (eds.) Actes des journées francophones d’IAD et SMAs (JFIADSMA 1999) à Saint-Gilles, île de la Réunion, Hermès (November 1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  1. 1.Département d’InformatiqueUniversité d’Oum El-BouaghiAlgérie
  2. 2.Département de Mathématiques et d’InformatiqueUniversité du Québec à Trois-RivièresCanada

Personalised recommendations