Formal Specification of Fault-Tolerant Multi-agent Systems
2021 (English)In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature , 2021, p. 291-302Conference paper, Published paper (Refereed)
Abstract [en]
Multi-agent systems (MAS) are increasingly used in critical applications. To ensure dependability of MAS, we need to formally specify and verify their fault tolerance, i.e., to ensure that collaborative agent activities are performed correctly despite agent failure. In this paper, we present a formalisation of fault tolerant MAS and use it to define specification and refinement patterns for modelling MAS in Event-B.
Place, publisher, year, edition, pages
Springer Nature , 2021. p. 291-302
Keywords [en]
Event-B, Fault tolerance, Formal modelling, MAS, Formal specification, Intelligent agents, Agent activities, Collaborative agents, Critical applications, Fault-tolerant, Formal modeling, Formalisation, Refinement patterns, Specification and refinement, Specification patterns, Multi agent systems
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-312079DOI: 10.1007/978-3-030-85739-4_24ISI: 000791045800024Scopus ID: 2-s2.0-85116360884OAI: oai:DiVA.org:kth-312079DiVA, id: diva2:1657300
Conference
19th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2021, Salamanca, 6-8 October 2021.
Note
Part of proceedings: ISBN 978-3-030-85738-7
QC 20220510
2022-05-102022-05-102025-01-17Bibliographically approved