257 KB53 KB197720262006Badri, LindaBadri, MouradMokhati, Faridštevilka:1letnik:30str. 97-110ISSN:0350-5596COBISSID:19726887URN:URN:NBN:SI:doc-ACELICWDenSlovensko društvo InformatikaInformatica (Ljubljana)interakcijeprevajanjetranslationvečagentni sistemivrednotenjeA formal framework supporting the specification of the interactions between agents|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 (2) to provide a solid basis for their verification and validation. The translation process is illustrated by means of a real case studyTEXTznanstveno časopisjejournalsSlovenian National E-content AggregatorNational and University Library of SloveniaSlovensko društvo Informatika