Formalizing ARTIS Agent Model Using RT-Maude

Formalizing SIMBA RTMAS Models using Real-time Maude

“…This section is devoted to explain the translation process of SIMBA RTMAS description to Real-Time Maude specification. In fact, the generated framework of SIMBA specification is an extension of the formalization of ARTIS agent proposed in (Marir, Mokhati and Seridi-Bouchelaghem, 2009). The formal specification of ARTIS agent using Real-Time Maude (Figure 1) is composed of six functional modules: Knowledge, Blackboard, Knowledge-Source, MKS (for Multi-Level-Knowledge-Source), KS-List (for Knowledge-Source-List) and MKS-List (for Multi-Level-Knowledge-Source-List); an object oriented module (In-Agent module) and a timed object-oriented module (ARTIS-Agent).…”

“…According to Ölveczky (2000), we think that logic-based models instead of others models of real-time systems (like timed automata) provides more expressiveness to describe different aspects of RTMAS. Marir, Mokhati and Seridi-Bouchelaghem (2009) proposed the formalization of ARTIS real-time agent using Real-Time Maude. In fact, the social aspect of RTMAS has been omitted in the formalization of ARTIS agent.…”

“…The ARTIS formal framework on which the formalization of SIMBA has been based is presented briefly. The formalization of ARTIS agent using Real-Time Maude can be found in Marir, Mokhati and Seridi-Bouchelaghem (2009).…”