Scipediacontent: Scipediacontent moved page Draft Content 104474062 to Stepney et al 2007a

2021-02-02T00:03:19Z

Scipediacontent moved page Draft Content 104474062 to Stepney et al 2007a

Scipediacontent: Created page with " == 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,..."

2021-02-02T00:03:07Z

Created page with " == 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,..."

New page

== 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://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 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://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://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#BanachJHS07],
: [https://www.escholar.manchester.ac.uk/uk-ac-man-scw:2f192 https://www.escholar.manchester.ac.uk/uk-ac-man-scw:2f192],
: [https://academic.microsoft.com/#/detail/2112072127 https://academic.microsoft.com/#/detail/2112072127]

* [http://xplorestaging.ieee.org/ielx5/4343908/4343909/04343922.pdf?arnumber=4343922 http://xplorestaging.ieee.org/ielx5/4343908/4343909/04343922.pdf?arnumber=4343922],
: [http://dx.doi.org/10.1109/sefm.2007.34 http://dx.doi.org/10.1109/sefm.2007.34]

← Older revision	Revision as of 00:03, 2 February 2021
(No difference)

Stepney et al 2007a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 104474062 to Stepney et al 2007a

Scipediacontent: Created page with " == 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,..."