Generating Maude formal specifications from AUML diagrams

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.