Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts
Yadav, Divakar and Butler, Michael (2007) Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts. In, Methods, Models and Tools for Fault Tolerance (MeMoT 2007), Oxford, , 33-42.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (201Kb) |
Description/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 (Paper) |
|---|---|
| Additional Information: | Event Dates: July 3, 2007 |
| Related URLs: | |
| Keywords: | Database, Transactions, Event B, Fault Tolerance |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 264273 |
| Date Deposited: | 05 Jul 2007 |
| Last Modified: | 01 Mar 2012 20:10 |
| Contributors: | Yadav, Divakar (Author) Butler, Michael (Author) |
| Date: | 2007 |
| Additional Information: | Event Dates: July 3, 2007 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/264273 |
Actions (login required)
 |
View Item |
