Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts

Yadav, D. and Butler, M. (2007) Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts. In Proceedings of Methods, Models and Tools for Fault Tolerance (MeMoT 2007) (in press), pp. 33-42, Oxford.

---

Downloads

PDF - Requires Adobe Acrobat Reader or other PDF viewer.

202Kb

Abstract

Data replication across several sites improves fault tolerance
as available sites can take over the load of failed sites. Data is
usually accessed within a transactional framework. However,
updating replicated data within a transactional framework is a
complex affair due to failures and conflicting transactions. Group
communication primitives have been proposed to support
transactions in a asynchronous distributed system. In this paper
we outline how a refinement based approach with Event B can be
used for the development of a reliable replicated database system
that ensure atomic commitment of update transactions using group
communication primitives.

• Item Type Conference or Workshop Item
• Keywords Database, Transactions, Event B, Fault Tolerance
• Research Group Dependable Systems and Software Engineering Research Group
• Deposited On 05 July 2007 by Yadav, Divakar
• Alternative Locations http://homepages.cs.ncl.ac.uk/alexander.romanovsky/home.formal/full-proceedings-final.pdf
• ID Code 14273

Authors

• Divakar Yadav
• 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)