Formal reasoning about resilient goal-oriented multi-agent systems

Inna Vistbakka, I. Pereverzeva, Elena Troubitsyna

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

13 Citeringar (Scopus)


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.

Sidor (från-till)66–87
TidskriftScience of Computer Programming
StatusPublicerad - 2017
MoE-publikationstypA1 Tidskriftsartikel-refererad


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

Citera det här