Abstract
The lack of formal semantics in the existing formalisms describing multi-agents models, combined with the complexity of multi-agents systems, are sources of several problems during their development process. The formal methods are known to bring rigorous and precise descriptions. They offer the possibility of checking the correction of specifications. In this framework and in previous papers (Ferber J, Gutknecht O (2002) MadKit user’s guide. Version 3.1) [23], we have proposed a formal and generic framework called DIMA-Maude, allowing formal description and validation of the DIMA model [15] with the Maude language [22]. This language, based on rewriting logic [21], offers a rich notation supporting formal specification, implementation, validation through simulation, and verification through accessibility analysis and model checking of concurrent systems (Koning JL (1999) Algorithms for translating interaction protocols into a formal description. In: IEEE Int Conf Syst Man Cybernet Conf, Tokyo, Japan). In this paper, we propose a rewriting logic-based tool for creating a DIMA model. This tool allows the edition and the simulation of a DIMA system. It allows the user to draw a DIMA system graphically and translates the graphical representation of the drawn DIMA model to a Maude specification. Then the Maude system is used to perform the simulation of the resulting Maude specification. This tool allows preserving the graphic notations offered by the DIMA model for clarity and getting a formal specification in Maude for analysis.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
AgentBuilder RM (2000). An integrated toolkit for constructing intelligent software agents. Reference Manual
Bakam I, Kordon F, Le Page C, Bousquet F (2000) Formalization of a spatialized multiagent model using coloured Petri nets for the study of a hunting management system. In: FAABS2000, Greenbelt
Boudiaf N, Mokhati F, Badri M, Badri L (2005) Specifying DIMA multi-agent models using Maude. Springer-Verlag, Berlin, Heideberg LNAI 3371:29–42
Clavel M et al. (2005) Maude manual (Version 2.2). Internal report, SRI International
DeLoach SA, Wood M (2001) Developing multiagent systems with agent tool. In: ATAL’2000, Berlin
Ferber J, Gutknecht O (2002) MadKit user’s guide. Version 3.1
Guessoum Z (2003) 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
Koning JL (1999) Algorithms for translating interaction protocols into a formal description. In: IEEE International conference on systems, man, and cybernetics. Tokyo, Japan
Meseguer J (1996) Rewriting logic as a unified model of concurrency: a progress report. Springer-Verlag LNCS 119:331–372
Meseguer J (2000) Rewriting logic and Maude: a wide-spectrum semantic framework for object-based distributed systems. In: FMOODS2000
Mokhati F, Boudiaf N, Badri M, Badri L (2004) DIMA-Maude: Toward a formal framework for specifying and validating DIMA agents. In: Proceedings of Moca’04, Aarhus, Denmark
Mokhati F, Boudiaf N, Badri M, Badri L (2007) Translating AUML diagrams into Maude specifications: a formal verification of agents interaction protocols. J Obj Technol, ISSN 1660–1769, USA
Torroni P (2004) Computational logic in multi-agent systems: recent advances and future directions, computational logic in multi-agent systems. Ann Math Artif Intell 42(1–3):293–305
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media, LLC
About this paper
Cite this paper
Boudiaf, N., Sahbi, L. (2009). A Maude-Based Tool for Simulating DIMA Model. In: Mastorakis, N., Mladenov, V., Kontargyri, V. (eds) Proceedings of the European Computing Conference. Lecture Notes in Electrical Engineering, vol 27. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-84814-3_31
Download citation
DOI: https://doi.org/10.1007/978-0-387-84814-3_31
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-84813-6
Online ISBN: 978-0-387-84814-3
eBook Packages: EngineeringEngineering (R0)