License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-8358
URL: http://drops.dagstuhl.de/opus/volltexte/2006/835/

Weikum, Gerhard ; Jones, Clifford B. ; Lomet, David ; Romanovsky, Alexander

06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science

pdf-format:
Dokument 1.pdf (28 KB)


Abstract

This seminar was based on and continued the interaction of different computer-science communities that was begun in an earlier Dagstuhl seminar in April 2004. Both seminars have aimed at a deeper understanding of the fundamental concept of atomic actions and their roles in system design, execution, modeling, and correctness reasoning, and at fostering collaboration, synergies, and a unified perspective across largely separated research communities. Each of the two seminar brought together about 30 researchers and industrial practitioners from the four areas of database and transaction processing systems, fault tolerance and dependable systems, formal methods, and to smaller extent, hardware architecture and programming languages. The interpretations and roles of the atomicity concept(s) vary substantially across these communities. For example, the emphasis in database systems is on algorithms and implementation techniques for atomic transactions, whereas in dependable systems and formal methods atomicity is viewed as an intentionally imposed or postulated property of system components to simplify designs and increase dependability. Nevertheless, all four communities share the hope that it will eventually be possible to unify the different scientific viewpoints into more coherent foundations, system development principles, design methodologies, and usage guidelines.

BibTeX - Entry

@InProceedings{weikum_et_al:DSP:2006:835,
  author =	{Gerhard Weikum and Clifford B. Jones and David Lomet and Alexander Romanovsky},
  title =	{06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science},
  booktitle =	{Atomicity: A Unifying Concept in Computer Science},
  year =	{2006},
  editor =	{Clifford B. Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum},
  number =	{06121},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/835},
  annote =	{Keywords: Atomicity, concurrency, system structuring, abstraction, fault tolerance}
}

Keywords: Atomicity, concurrency, system structuring, abstraction, fault tolerance
Seminar: 06121 - Atomicity: A Unifying Concept in Computer Science
Issue date: 2006
Date of publication: 27.11.2006


DROPS-Home | Fulltext Search | Imprint Published by LZI