Where academic tradition
meets the exciting future

Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems

Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna, Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems. Science of Computer Programming , 1–22, 2017.



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.

BibTeX entry:

  title = {Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems},
  author = {Laibinis, Linas and Pereverzeva, Inna and Troubitsyna, Elena},
  journal = {Science of Computer Programming},
  publisher = {Elsevier},
  pages = {1–22},
  year = {2017},
  keywords = {Formal reasoning, Multi-agent systems, Goal-oriented development, System resilience, Event-B},
  ISSN = {0167-6423},

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB)

Publication Forum rating of this publication: level 2

Edit publication