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

Full description

Bibliographic Details

Published in:	Science of computer programming Vol. 148; pp. 66 - 87
Main Authors:	Laibinis, L., Pereverzeva, I., Troubitsyna, E.
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 15.11.2017
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!