Table of Content

Open AccessOpen Access


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

Awais Qasima, Syed Asad Raza Kazmib

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

* Corresponding Author: Awais Qasim,

Intelligent Automation & Soft Computing 2019, 25(1), 49-63.


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.


Cite This Article

A. Qasim and S. A. R. Kazmi, "Formal modelling of real-time self-adaptive multi-agent systems," Intelligent Automation & Soft Computing, vol. 25, no.1, pp. 49–63, 2019.

This work is licensed under a Creative Commons Attribution 4.0 International License , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
  • 1455


  • 1005


  • 0


Related articles

Share Link