Latest revision as of 01:03, 2 February 2021

Abstract

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.

Original document

The different versions of the original document can be found in:

• http://www.cs.man.ac.uk/~banach/some.pubs/Retrench.At.Patt.pdf

• http://www.cs.man.ac.uk/~banach/some.pubs/Retrench.At.Patt.pdf,

http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004343922,

https://www.research.manchester.ac.uk/portal/en/publications/retrenchment-and-the-atomicity-pattern(7646e4cc-1479-411c-8e41-3c9fb9b97549).html,

https://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#BanachJHS07,

https://www.escholar.manchester.ac.uk/uk-ac-man-scw:2f192,

https://academic.microsoft.com/#/detail/2112072127

• http://xplorestaging.ieee.org/ielx5/4343908/4343909/04343922.pdf?arnumber=4343922,

http://dx.doi.org/10.1109/sefm.2007.34