Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Formal Reasoning about Resilie...

Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems

Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna, Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems. TUCS Technical Reports 1133, TUCS , 2015.

Abstract:

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.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tLaPeTr15a,
  title = {Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems},
  author = {Laibinis, Linas and Pereverzeva, Inna and Troubitsyna, Elena},
  number = {1133},
  series = {TUCS Technical Reports},
  publisher = {TUCS },
  year = {2015},
  keywords = {Formal reasoning, Multi-agent system, Goal-oriented development, Resilience, Event-B},
  ISBN = {978-952-12-3207-7 },
}

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

Edit publication