Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
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)
Chaoui, A., Bouzenada, M.: G-ECATNets: An Object Petri Net-Based Framework for the Modular Design of Complex Information Systems. In: ISIICT 2001 (2001)
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)
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)
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)
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)
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)
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)
Clavel, M., et al.: Maude: Specification and Programming in Rewriting Logic. Internal report, SRI International (1999)
McCombs, T.: Maude 2.0 Primer, Version 1.0. Internal report, SRI International (2003)
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)
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)
Muller, J.-P., Pischel, M.: Modeling reactive behavior in vertically layered agents architectures. In: Proc of ECAI 1994, Amsterdam, NL, pp. 709–713 (1994)
Odell, J., Parunak, H.V.D., Bauer, B.: Representing agent Interaction protocol In UML. In: Conférence AAAI Agents 2000, Barcelone (2000)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boudiaf, N., Mokhati, F., Badri, M., Badri, L. (2005). Specifying DIMA Multi-agents Models Using Maude. In: Barley, M.W., Kasabov, N. (eds) Intelligent Agents and Multi-Agent Systems. PRIMA 2004. Lecture Notes in Computer Science(), vol 3371. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32128-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-32128-6_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25340-2
Online ISBN: 978-3-540-32128-6
eBook Packages: Computer ScienceComputer Science (R0)