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

Inna Vistbakka, Elena Troubitsyna

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationAdvances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness
Subtitle of host publicationThe PAAMS Collection
PublisherSpringer
Pages327-339
ISBN (Print)978-3-030-49777-4
DOIs
Publication statusPublished - 2020
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Practical Applications of Agents and Multi-Agent Systems -
Duration: 7 Oct 2020 → …

Publication series

Name Lecture Notes in Computer Science

Conference

ConferenceInternational Conference on Practical Applications of Agents and Multi-Agent Systems
Abbreviated titlePAAMS
Period07/10/20 → …

Fingerprint Dive into the research topics of 'Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B'. Together they form a unique fingerprint.

Cite this