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

Ball, E. and Butler, M. (2007) Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction. In Proceedings of Methods, Models and Tools for Fault Tolerance, Oxford, UK.

---

Downloads

PDF - Requires Adobe Acrobat Reader or other PDF viewer.

112Kb

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
• Research Group Dependable Systems and Software Engineering Research Group
• Deposited On 04 July 2007 by Ball, Elisabeth
• Alternative Locations http://homepages.cs.ncl.ac.uk/alexander.romanovsky/home.formal/full-proceedings-final.pdf
• ID Code 14261
• Performance Indicator EZ~02~02~04

Authors

• Elisabeth Ball
• Michael Butler

Corrections

ECS staff and postgraduates may modify this record.

Tagging

Download Statistics

Members of ECS may view the download statistics dashboard for this record.

Metadata

Metadata available via OAI as: oai_dc (unqualified dublin core)