@inproceedings{93cb33ece3c149be92bfb537ed2b6e17,
title = "Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B",
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.",
author = "Inna Vistbakka and Elena Troubitsyna",
year = "2020",
doi = "10.1007/978-3-030-49778-1_26",
language = "English",
isbn = "978-3-030-49777-4",
series = " Lecture Notes in Computer Science ",
publisher = "Springer",
pages = "327--339",
booktitle = "Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness",
note = "International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS ; Conference date: 07-10-2020",
}