Formal reasoning about resilient goal-oriented multi-agent systems

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, a...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Science of computer programming Ročník 148; s. 66 - 87
Hlavní autoři: Laibinis, L., Pereverzeva, I., Troubitsyna, E.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 15.11.2017
Témata:
Event-B
Formal reasoning
Goal-oriented development
Multi-agent systems
System resilience
Event-B
Formal reasoning
Goal-oriented development
System resilience
Multi-agent systems
ISSN:0167-6423, 1872-7964
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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. •We present a formalisation of a resilient goal-oriented multi-agent system and its essential properties.•The essential concepts of system agents, goals, and their various relationships are formalised.•The conditions to ensure system resilience and reconfigurability are investigated.•The formalisation can be seen as generic guidelines for formal development of such systems.•We demonstrate how such guidelines can be interpreted within the Event-B framework.
ISSN:0167-6423
1872-7964
DOI:10.1016/j.scico.2017.05.008