Table of Content

Open Access iconOpen 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, email

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

APA Style
Qasim, A., Kazmi, S.A.R. (2019). Formal modelling of real-time self-adaptive multi-agent systems. Intelligent Automation & Soft Computing, 25(1), 49-63.
Vancouver Style
Qasim A, Kazmi SAR. Formal modelling of real-time self-adaptive multi-agent systems. Intell Automat Soft Comput . 2019;25(1):49-63
IEEE Style
A. Qasim and S.A.R. Kazmi, "Formal Modelling of Real-Time Self-Adaptive Multi-Agent Systems," Intell. Automat. Soft Comput. , vol. 25, no. 1, pp. 49-63. 2019.

cc 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.
  • 1701


  • 1142


  • 0


Related articles

Share Link