DocumentCode :
1579169
Title :
Retrenchment and the Atomicity Pattern
Author :
Banach, Richard ; Jeske, Czeslaw ; Hall, Anthony ; Stepney, Susan
Author_Institution :
Univ. of Manchester, Manchester
fYear :
2007
Firstpage :
37
Lastpage :
46
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.
Keywords :
air traffic control; software engineering; ACID transaction; air traffic control system; atomicity pattern; refinement problem; retrenchment; Air traffic control; Computer science; Concrete; Displays; Distributed databases; Mission critical systems; Operating systems; Protocols; Software engineering; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on
Conference_Location :
London
Print_ISBN :
978-0-7695-2884-7
Type :
conf
DOI :
10.1109/SEFM.2007.34
Filename :
4343922
Link To Document :
بازگشت