Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction
Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction
Interaction in a multi-agent system is susceptible to failure. A rigorous development of a multi-agent system must include the treatment of fault-tolerance of agent interactions for the agents to be able to continue to function independently. Patterns can be used to capture fault-tolerance techniques. A set of modelling patterns is presented that specify fault-tolerance in Event-B specifications of multi-agent interactions. The purpose of these patterns is to capture common modelling structures for distributed agent interaction in a form that is re-usable on other related developments. The patterns have been applied to a case study of the contract net interaction protocol.
Ball, Elisabeth
b01ed472-24ed-48ea-8991-97ef5bf9bf4a
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
February 2009
Ball, Elisabeth
b01ed472-24ed-48ea-8991-97ef5bf9bf4a
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Ball, Elisabeth and Butler, Michael
(2009)
Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction.
In,
Butler, M, Jones, C, Romanovsky, A and Troubitsyna, E
(eds.)
Methods, Models and Tools for Fault Tolerance.
(Lecture Notes in Computer Science,, 5454)
Springer.
(doi:10.1007/978-3-642-00867-2_6).
Record type:
Book Section
Abstract
Interaction in a multi-agent system is susceptible to failure. A rigorous development of a multi-agent system must include the treatment of fault-tolerance of agent interactions for the agents to be able to continue to function independently. Patterns can be used to capture fault-tolerance techniques. A set of modelling patterns is presented that specify fault-tolerance in Event-B specifications of multi-agent interactions. The purpose of these patterns is to capture common modelling structures for distributed agent interaction in a form that is re-usable on other related developments. The patterns have been applied to a case study of the contract net interaction protocol.
Text
ejb04rMeMoTBook.pdf
- Other
More information
Published date: February 2009
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 267134
URI: http://eprints.soton.ac.uk/id/eprint/267134
PURE UUID: 5d1b0e13-429b-4985-8e26-1f1f80c014e5
Catalogue record
Date deposited: 22 Feb 2009 23:43
Last modified: 15 Mar 2024 02:50
Export record
Altmetrics
Contributors
Author:
Elisabeth Ball
Author:
Michael Butler
Editor:
M Butler
Editor:
C Jones
Editor:
A Romanovsky
Editor:
E Troubitsyna
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics