Generating Maude formal specifications from AUML diagrams

Issue title: Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004

Guest editors: Narayan C. Debnath

Article type: Research Article

Authors: Mokhati, Farid^{a; *} | Boudiaf, Noura^a | Badri, Linda^b | Badri, Mourad^b

Affiliations: [a] Département d'Informatique, Université d'Oum El-Bouaghi, Algérie | [b] Département de Mathématiques et d'Informatique, Université du Québec à Trois-Rivières, Canada

Correspondence: [*] Corresponding author: Farid Mokhati, Cité Oued Nagues Ilot 681 N°10, Tébessa – Algérie, 12000. Tel.: 213 32 42 90 24; Fax: 213 32 42 10 36; E-mail: [email protected].

Abstract: In this paper, we present a formal and systematic approach allowing translating the specification of the interactions between agents, described using AUML formalism, in a Maude specification. Based on rewriting logic, the formal and object-oriented language Maude offers an interesting way for concurrent systems formal specification and programming. The main objectives of our approach are essentially: (1) to specify formally multi-agent systems behavior and, (2) to provide a healthy description preserving the consistency in their behavior and supporting their verification and validation process. The Maude descriptions, generated in the context of the developed framework, have been validated using the platform supporting the Maude language.

Keywords: AUML, Maude, translation, formal specification, validation

DOI: 10.3233/JCM-2006-6S107

Journal: Journal of Computational Methods in Sciences and Engineering, vol. 6, no. s1, pp. S73-S89, 2006