Entwurfstransaktionen für modulare Objektsysteme

Thema der Arbeit ist die Synchronisierung von Transaktionen beim Zugriff auf sogenannte komplexe Objekte, wobei hier Objektstrukturen im Vordergrund ste hen, wie man sie in Entwurfsanwendungen -z. B. Schaltungs- und Softwareent wurf -findet. Im Gegensatz zu einer Reihe anderer Verfahren wird für die Syn chronisierung die logische Struktur der Objekte, und nicht ihre Speicherungs struktur zugrunde gelegt. Dabei wird sowohl nach Varianten für Synchronisie rungsverfahren auf den gegebenen Strukturen gefragt als auch nach der Möglich keit, entwurfs typische Strukturen in das Objektmodell einzuführen und für die Synchronisierung auszunutzen. Die Behandlung von Verfahrensvarianten nimmt einen relativ breiten Raum ein. Dies spiegelt jedoch nicht die Gewichtung wider, die ich ihr zuordnen möchte; vielmehr betrachte ich die - durch den Softwareent wurf motivierte -Einführung von Abstraktionsebenen als den weitaus wichtigeren Beitrag. Die vorliegende Arbeit entstand am Fachbereich Inform?tik der Johann Wolfgang Goethe-Universität Frankfurt als Dissertation unter dem Titel "Abwicklung von Entwurfstransaktionen für modulare Objektsysteme -Beiträge zur Synchronisie rung in objektorientierten Datenbanken". Zum Gelingen der Arbeit haben eine Reihe von Personen direkt oder indirekt bei tragen. Mein Dank gilt meinen einstigen Kollegen Wolfgang Johannsen, Florian Mauhes, Martin Weigele und insbesondere Jürgen Koch. Erwähnen möchte ich auch, daß die experimentelle Implemenentierung nicht möglich gewesen wäre ohne das umfangreiche Objektspeicherungssystem, das im Verlauf der Diplomarbeiten von JuUa Czerny, Stefan Ott und Dietmar Weinmann entstand. Mein Dank für etliche Diskussionen und wertvolle Anregungen geht schließlich auch an Prof. Dr. M. Jarke, Prof. Dr. H. -J.

Klappentext

Thema des Buches ist die Sychronisierung von Transaktionen in strukturell objektorientierten Datenbanksystemen. Im Gegensatz zu einer Reihe anderer Verfahren wird hier für die Synchronisierung die logische Struktur der Objekte - nicht ihre Speicherungsstruktur - herangezogen. Besonders berücksichtigt wird eine für Entwurfsanwendungen typische Vorgehensweise, nämlich die Modularisierung des Entwurfsgegenstands und die damit verbundene Einführung von Abstraktionsebenen. Es wird gezeigt, wie sich für ein bekanntes Sperrverfahren durch die Aufnahme solcher Abstraktionskonzepte in das Objektmodell sowohl die Konfliktmöglichkeit zwischen Transaktionen als auch, mit zunehmender Modularisierung, die Zahl der benötigten Sperren gegenüber nichtmodularen Objektmodellen verringern läßt. Darüber hinaus werden Hinweise zur Integration des Synchronisierungsverfahrens in geschachtelte Entwurfstransaktionen gegeben.

Inhalt
1 Einleitung.- 1.1 Synchronisierung in Entwurfsanwendungen.- 1.2 Problemstellung und Zielsetzung.- 1.3 Überblick über die Arbeit.- 1.4 Notationelle Konventionen.- 2 Flache Transaktionsmodelle.- 2.1 Theorie der Serialisierbarkeit.- 2.2 Datenorientierte Synchronisierung.- 2.3 Transaktion und Konsistenz.- 3 Hierarchische Modelle und Entwurfstransaktionen.- 3.1 Geschachtelte Transaktionen.- 3.2 Entwurfstransaktionen.- 3.3 Ein Exkurs: Mehrebenenabwicklung.- 3.4 Résumé.- 4 Objekte.- 4.1 Überblick.- 4.2 Objektsysteme.- 4.3 Résumé.- 5 Synchronisierungsprotokolle für Objektsysteme.- 5.1 Sperren komplexer Objekte.- 5.2 Protokolle für flache Transaktionen.- 5.3 Integration in geschachtelte Transaktionen.- 5.4 Diskussion.- 6 Implementierung eines Protokolls.- 6.1 Die Datenverwaltung.- 6.2 Die Transaktionsverwaltung.- 7 Résumé und Ausblick.