Awais Qasima, Syed Asad Raza Kazmib
Intelligent Automation & Soft Computing, Vol.25, No.1, pp. 49-63, 2019, DOI: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 More >