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

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!