<abstract xmlns="http://www.w3.org/1999/xhtml">

<p>Software systems are becoming complex and dynamic with the passage of time, and to provide better fault tolerance and resource management they need to have the ability of self-adaptation. Multi-agent systems paradigm is an active area of research for modeling real-time systems. In this research, we have proposed a new agent named SA-ARTIS-agent, which is designed to work in hard real-time temporal constraints with the ability of self-adaptation. This agent can be used for the formal modeling of any self-adaptive real-time multi-agent system. Our agent integrates the MAPE-K feedback loop with ARTIS agent for the provision of self-adaptation. For an unambiguous description, we formally specify our SA-ARTIS-agent using Time-Communicating Object-Z (TCOZ) language. The objective of this research is to provide an intelligent agent with self-adaptive abilities for the execution of tasks with temporal constraints. Previous works in this domain have used Z language which is not expressive to model the distributed communication process of agents. The novelty of our work is that we specified the non-terminating behavior of agents using active class concept of TCOZ and expressed the distributed communication among agents. For communication between active entities, channel communication mechanism of TCOZ is utilized. We demonstrate the effectiveness of the proposed agent using a real-time case study of traffic monitoring system.</p>
</abstract>

Software systems are becoming complex and dynamic with the passage of time, and to provide better fault tolerance and resource management they need to have the ability of self-adaptation. Multi-agent systems paradigm is an active area of research for modeling real-time systems. In this research, we have proposed a new agent named SA-ARTIS-agent, which is designed to work in hard real-time temporal constraints with the ability of self-adaptation. This agent can be used for the formal modeling of any self-adaptive real-time multi-agent system. Our agent integrates the MAPE-K feedback loop with ARTIS agent for the provision of self-adaptation. For an unambiguous description, we formally specify our SA-ARTIS-agent using Time-Communicating Object-Z (TCOZ) language. The objective of this research is to provide an intelligent agent with self-adaptive abilities for the execution of tasks with temporal constraints. Previous works in this domain have used Z language which is not expressive to model the distributed communication process of agents. The novelty of our work is that we specified the non-terminating behavior of agents using active class concept of TCOZ and expressed the distributed communication among agents. For communication between active entities, channel communication mechanism of TCOZ is utilized. We demonstrate the effectiveness of the proposed agent using a real-time case study of traffic monitoring system.

Intelligent agent for formal modelling of temporal multi-agent systems

International Journal on Smart Sensing and Intelligent Systems

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

running-head

Software systems are becoming complex and dynamic with the passage of time, and to provide better fault tolerance and resource management they need to have the...

Intelligent agent for formal modelling of temporal multi-agent systems

Article Category: Research-Article

Published Online: Feb 05, 2020

Page range: 1 - 13

Received: Dec 10, 2019

DOI: https://doi.org/10.21307/ijssis-2020-003

Keywords
Formal methods, Self-adaptation, Autonomic computing, Multi-agent systems, Real-time systems, TCOZ

© 2020 Awais Qasim et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Intelligent agent for formal modelling of temporal multi-agent systems

Article Category: Research-Article

Published Online: Feb 05, 2020

Page range: 1 - 13

Received: Dec 10, 2019

DOI: https://doi.org/10.21307/ijssis-2020-003

KeywordsFormal methods, Self-adaptation, Autonomic computing, Multi-agent systems, Real-time systems, TCOZ

© 2020 Awais Qasim et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Keywords
Formal methods, Self-adaptation, Autonomic computing, Multi-agent systems, Real-time systems, TCOZ