@Article{2018.100000012,
AUTHOR = {Awais Qasim, Syed Asad Raza Kazmi},
TITLE = {Formal Modelling of Real-Time Self-Adaptive Multi-Agent Systems},
JOURNAL = {Intelligent Automation \& Soft Computing},
VOLUME = {25},
YEAR = {2019},
NUMBER = {1},
PAGES = {49--63},
URL = {http://www.techscience.com/iasc/v25n1/39633},
ISSN = {2326-005X},
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.},
DOI = {10.31209/2018.100000012}
}