You do not have permission to edit this page, for the following reason:
You can view and copy the source of this page.
x
1
2
== Abstract ==3
4
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.5
6
7
== Original document ==8
9
The different versions of the original document can be found in:10
11
* [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]12
13
* [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],14
: [http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004343922 http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004343922],15
: [https://www.research.manchester.ac.uk/portal/en/publications/retrenchment-and-the-atomicity-pattern(7646e4cc-1479-411c-8e41-3c9fb9b97549).html https://www.research.manchester.ac.uk/portal/en/publications/retrenchment-and-the-atomicity-pattern(7646e4cc-1479-411c-8e41-3c9fb9b97549).html],16
: [https://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#BanachJHS07 https://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#BanachJHS07],17
: [https://www.escholar.manchester.ac.uk/uk-ac-man-scw:2f192 https://www.escholar.manchester.ac.uk/uk-ac-man-scw:2f192],18
: [https://academic.microsoft.com/#/detail/2112072127 https://academic.microsoft.com/#/detail/2112072127]19
20
* [http://xplorestaging.ieee.org/ielx5/4343908/4343909/04343922.pdf?arnumber=4343922 http://xplorestaging.ieee.org/ielx5/4343908/4343909/04343922.pdf?arnumber=4343922],21
: [http://dx.doi.org/10.1109/sefm.2007.34 http://dx.doi.org/10.1109/sefm.2007.34]22
Return to Stepney et al 2007a.
Back to Top
Document information
Published on 01/01/2007
Volume 2007, 2007
DOI: 10.1109/sefm.2007.34
Licence: CC BY-NC-SA license
Share this document
Keywords
claim authorship
Are you one of the authors of this document?