Atomicity: A Unifying Concept in Computer Science.
Joey W. Coleman, Cliff B. Jones · Zenodo (CERN European Organization for Nuclear Research) · 2007
The concept of atomicity is important to many aspects of computer science.The four papers collected after this introduction come from a second Schloss Dagstuhl seminar that brought together researchers from four different fields to discuss Atomicity.The "manifesto" [JLRW05] from the earlier seminar in 2004 captured the desire of researchers from database, formal methods, hardware and fault tolerance to benefit from each others' insights.The meeting from which the current papers derive (Dagstuhl Seminar 06121) was held in the spring of 2006 and was again very fruitful with a useful overlap of participants from the earlier event.Dagstuhl's own seminar report is visible at http://drops.dagstuhl.de/portals/index.php?semnr=06121 and is an excellent record of the ideas presented during the time spent there.After the 2004 seminar, several of those involved were prepared to write full length journal papers that were influenced by the event (cf.[BJ05] and the following papers).Again, after the 2006 event, a subset of the participants have taken the opportunity to provide a more thought-through account of their ideas.The papers here are: -Improving Program Correctness with Atomic Exception Handling by Christof Fetzer and Pascal Felber -Specification and Refinement of Access Control by Dominique Méry and Stephan Merz -Achieving Atomicity for Web Services Using Commutativity of Actions by Michael Melliar-Smith and Louise Moser -On the Use of a Reflective Architecture to Augment Database Management Systems by Luís Rodrigues et al.