| 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 |