Sciweavers

SEFM
2007
IEEE

Retrenchment and the Atomicity Pattern

14 years 6 months ago
Retrenchment and the Atomicity Pattern
The issues surrounding the question of atomicity, both in the past and nowadays, are briefly reviewed, and a picture of an ACID (atomic, consistent, isolated, durable) transaction as a refinement problem is presented. An example of a simple air traffic control system is introduced, and the discrepancies that can arise when read-only operations examine the state at atomic and finegrained levels are handled by retrenchment. Non-ACID timing aspects of the ATC example are also handled by retrenchment, and the treatment is generalised as the retrenchment Atomicity Pattern. The utility of the pattern is confirmed against a different case study, the Mondex Electronic Purse.
Richard Banach, Czeslaw Jeske, Anthony Hall, Susan
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where SEFM
Authors Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney
Comments (0)