Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B

Inna Vistbakka, Elena Troubitsyna

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Abstrakti

Goal-oriented development facilitates structuring behaviour of complex multi-agent systems. It allows us to represent the required system behaviour as a set of goals to be accomplished by the agents with corresponding functionality. However, in general, the agents might fail and hence, to ensure goal reachability we should augment the goal-oriented framework with fault tolerance mechanisms. In this paper, we propose a formal pattern-based approach to formal modelling of fault tolerant MAS in Event-B. The framework allows us in a systematic and rigorous way to define complex relationships between the unreliable agents and goals. It is illustrated by a case study – a smart warehouse system.
AlkuperäiskieliEnglanti
OtsikkoAdvances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness
AlaotsikkoThe PAAMS Collection
KustantajaSpringer
Sivut327-339
ISBN (painettu)978-3-030-49777-4
DOI - pysyväislinkit
TilaJulkaistu - 2020
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Practical Applications of Agents and Multi-Agent Systems -
Kesto: 7 lokakuuta 2020 → …

Julkaisusarja

Nimi Lecture Notes in Computer Science

Konferenssi

KonferenssiInternational Conference on Practical Applications of Agents and Multi-Agent Systems
LyhennettäPAAMS
Ajanjakso07/10/20 → …

Sormenjälki

Sukella tutkimusaiheisiin 'Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Viittausmuodot