Open Access

ARTICLE

Formal Modelling of Real-Time Self-Adaptive Multi-Agent Systems

Awais Qasim^a, Syed Asad Raza Kazmi^b

^a,bDepartment of Computer Science, Government College University Lahore, Pakistan

* Corresponding Author: Awais Qasim,

Intelligent Automation & Soft Computing 2019, 25(1), 49-63. https://doi.org/10.31209/2018.100000012

Abstract

The paradigm of multi-agent systems is very expressive to model distributed real-time systems. These real-time multi-agent systems by their working nature have temporal constraints as they need to operate in pervasive, dynamic and unpredictable environments. To achieve better fault-tolerance, they need to have the ability of self-adaptivity making them adaptable to the failures. Presently there is a lack of vocabulary for the formal modelling of real-time multi-agent systems with self-adaptive ability. In this research we proposed a framework named SMARTS for the formal modelling of self-adaptive real-time multi-agent systems. Our framework integrates MAPE-K interfaces, reflection perspective and unification with distribution perspective into the SIMBA agent architecture. For a precise semantic description of the constructs of our framework, we have used Timed Communicating Object-Z language.

---

Keywords

---