VRSTA GRADIVA | analitična raven (sestavni del), tekstovno gradivo, tiskano, 1.01 - izvirni znanstveni članek |
DRŽAVA IZIDA | Slovenija |
LETO IZIDA | 2006 |
JEZIK BESEDILA/IZVIRNIKA | angleški |
PISAVA | latinica |
AVTOR | Mokhati, Farid - avtor |
ODGOVORNOST | Badri, Mourad - avtor // Badri, Linda - avtor |
NASLOV | ǂA ǂformal framework supporting the specification of the interactions between agents |
V PUBLIKACIJI | Informatica. - ISSN 0350-5596. - ǂVol. ǂ30, ǂno. ǂ1 (2006), str. 97-110. |
KRATKA VSEBINA | In this paper we present a formal framework supporting the translation of interactions between agents (the interactionsare 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 solidbasis for their verification and validation. The translation process is illustrated by means of a real case study. |
OPOMBE | Bibliografija: str. 109-110 |
PREDMETNE OZNAKE | // večagentni sistemi // interakcije // prevajanje // vrednotenje |
UDK | 004.45:004.8 |