Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols

By: Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri

Abstract

This paper focuses on formal verification of interaction protocols described by using AUML. The adopted approach is based on model-checking techniques supported by Maude. Model checking offers several advantages relatively to traditional approaches based on simulation, testing techniques, or deductive reasoning.

Cite as:

Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri, “Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols”, Journal of Object Technology, Volume 6, no. 4 (May 2007), pp. 77-102, doi:10.5381/jot.2007.6.4.a2.