A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude

By: Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher, Mohamed Tahar Kimour

Abstract

This paper presents a visual tool that allows designers to construct and describe agents' interaction protocols using AUML diagrams and to generate formal specification in Maude from such AUML interaction diagrams. Moreover, it allows for validating the generated specification by means of simulation techniques supported by Maude platform.

Cite as:

Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher, Mohamed Tahar Kimour, “A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude”, Journal of Object Technology, Volume 9, no. 3 (May 2010), pp. 59-77, doi:10.5381/jot.2010.9.3.a2.