Formal reasoning about resilient goal-oriented multi-agent systems

A1 Journal article (refereed)

Internal Authors/Editors

Publication Details

List of Authors: L. Laibinis, I. Pereverzeva, E. Troubitsyna
Publisher: Elsevier
Publication year: 2017
Journal: Science of Computer Programming
Volume number: 148
Start page: 66
End page: 87
eISSN: 1872-7964


In this paper we present our formalisation of a resilient goal-oriented
multi-agent system and its essential properties. The formalisation
covers the notions of system goals and agents, various formal structures
(functions and relations) defining different interrelationships between
these notions, as well as constraints on the system dynamics allowing a
multi-agent system to become more reconfigurable and thus resilient in
order to achieve the system goals. The formalisation results in
establishing connections between goals at different levels of
abstraction, system architecture and agent responsibilities. The
proposed formal systematisation of the involved concepts can be seen as
generic guidelines for formal development of reconfigurable systems.
Moreover, we demonstrate how such guidelines can be interpreted within
the Event-B framework.


Event-B, Formal reasoning, Goal-oriented development, multi-agent systems, System resilience

Last updated on 2020-07-04 at 07:31