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 specification of fault-tolerance in agent interactions for the agents to be able to continue to function independently. Patterns are presented for the specification in Event-B of fault tolerance in multi-agent interactions.
Ball, Elisabeth
b01ed472-24ed-48ea-8991-97ef5bf9bf4a
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
2007
Ball, Elisabeth
b01ed472-24ed-48ea-8991-97ef5bf9bf4a
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Ball, Elisabeth and Butler, Michael
(2007)
Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction.
Methods, Models and Tools for Fault Tolerance, Oxford, United Kingdom.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Interaction in a multi-agent system is susceptible to failure. A rigorous development of a multi-agent system must include the specification of fault-tolerance in agent interactions for the agents to be able to continue to function independently. Patterns are presented for the specification in Event-B of fault tolerance in multi-agent interactions.
Text
ejb04rMeMot07.pdf
- Other
More information
Published date: 2007
Additional Information:
Event Dates: 3rd July 2007
Venue - Dates:
Methods, Models and Tools for Fault Tolerance, Oxford, United Kingdom, 2007-07-03
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 264261
URI: http://eprints.soton.ac.uk/id/eprint/264261
PURE UUID: ec0b6c42-35a3-4971-9854-eb24cd4a526d
Catalogue record
Date deposited: 04 Jul 2007
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Elisabeth Ball
Author:
Michael Butler
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