%0 Journal Article
%T A Formal Framework Supporting the Specification of the Interactions between Agents
%A Farid Mokhati
%A Mourad Badri
%A Linda Badri
%J Informatica
%D 2006
%I The Slovene Society Informatika, Ljubljana
%X In this paper we present a formal framework supporting the translation of interactions between agents (the interactions are described with the help of the RCA formalism) in a Maude specification. Based on rewriting logic, the formal and object-oriented language Maude supports formal specification and programming for a wide range of applications. The main motivations of our work are essentially: (1) to formally specify the behavior of multi-agent systems and (2) to provide a solid basis for their verification and validation. The translation process is illustrated by means of a real case study.
%K multi-agent systems
%K RCA
%K Maude
%K translation
%K behavior
%K interactions
%K formal specification
%K verification and validation
%U http://www.informatica.si/PDF/30-1/09_Mokhati-A%20Formal%20Framework%20Supporting%20the%20Specification%20of...pdf