Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction


Ball, Elisabeth and Butler, Michael (2007) Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction At Methods, Models and Tools for Fault Tolerance, United Kingdom.

Download

[img] PDF ejb04rMeMot07.pdf - Other
Download (114kB)

Description/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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 3rd July 2007
Venue - Dates: Methods, Models and Tools for Fault Tolerance, United Kingdom, 2007-07-03
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 264261
Date :
Date Event
2007Published
Date Deposited: 04 Jul 2007
Last Modified: 17 Apr 2017 19:40
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/264261

Actions (login required)

View Item View Item