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.

• Type: Conference
• Year: 2007
• Where: SEFM
• Authors: Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney
• Keywords: Non-ACID Timing Aspects, Retrenchment Atomicity Pattern, SEFM 2007, Simple Air Traffic, Software Engineering