Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung

Softwaresysteme werden immer gr ~er und komplexer. Sie haben
eine lange Lebensdauer und existieren in vielen
verschiedenen Versionen. Die
Softwarekonfigurationsverwaltung dient dazu, die
Entwicklung, insbesondere aber die Wartung solcher
Softwaresysteme, bew{ltigen zu k nnen.Dabei spielen
Revisions- und Konsistenzkontrolle eine wichtige Rolle.
Das vorliegende Buch besch{ftigt sich mit der Frage, wie
sich Revisions- und Konsistenzkontrolle durch integrierte,
strukturbezogene Werkzeuge unterst}tzen lassen. Zur
Spezifikation der Funktionalit{t entsprechender Werkzeuge
wird eine neuartige formale Methode eingesetzt, dieauf
Graphen basiert. Hinsichtlich der Strukturbezogenheit und
engen Integration geht der hier dargestellte Ansatz weit
}ber g{ngige Konfigurationsverwaltungssysteme hinaus.
Der Reiz des Buches liegt in der Anwendung formaler Methoden
auf bedeutsame praktische Probleme der
Konfigurationsverwaltung. Es wendet sich somit gleicherma~en
an Theoretiker und Praktiker.

Klappentext

Softwaresysteme werden immer gr|~er und komplexer. Sie haben eine lange Lebensdauer und existieren in vielen verschiedenen Versionen. Die Softwarekonfigurationsverwaltung dient dazu, die Entwicklung, insbesondere aber die Wartung solcher Softwaresysteme, bew{ltigen zu k|nnen.Dabei spielen Revisions- und Konsistenzkontrolle eine wichtige Rolle. Das vorliegende Buch besch{ftigt sich mit der Frage, wie sich Revisions- und Konsistenzkontrolle durch integrierte, strukturbezogene Werkzeuge unterst}tzen lassen. Zur Spezifikation der Funktionalit{t entsprechender Werkzeuge wird eine neuartige formale Methode eingesetzt, dieauf Graphen basiert. Hinsichtlich der Strukturbezogenheit und engen Integration geht der hier dargestellte Ansatz weit }ber g{ngige Konfigurationsverwaltungssysteme hinaus. Der Reiz des Buches liegt in der Anwendung formaler Methoden auf bedeutsame praktische Probleme der Konfigurationsverwaltung. Es wendet sich somit gleicherma~en an Theoretiker und Praktiker.

Inhalt
1 Motivation und Zielsetzung.- 1.1 Unterstützung der Softwareerstellung durch Werkzeuge.- 1.2 Konfigurationsverwaltung: Bedeutung und Unterstützung.- 1.3 Werkzeuge zur Revisions- und Konsistenzkontrolle in IPSEN.- 1.4 Kapitelübersicht.- 2 Ein Ansatz zur Revisions- und Konsistenzkontrolle in IPSEN.- 2.1 Modellierung der Revisions- und Konsistenzkontrolle auf der grobkörnigen Ebene.- 2.2 Modellierung der Revisionskontrolle auf der feinkörnigen Ebene.- 2.3 Modellierung der Konsistenzkontrolle auf der feinkörnigen Ebene.- 2.4 Realisierung der Revisions- und Konsistenzkontrolle.- 2.5 Zusammenfassung.- 3 Andere Ansätze zur Konfigurationsverwaltung.- 3.1 Grundbegriffe.- 3.2 Werkzeuge.- 3.3 Zusammenfassung.- 4 Modellierung der Revisions- und Konsistenzkontrolle auf der grobkörnigen Ebene.- 4.1 Modellierung der statischen Struktur.- 4.2 Modellierung von Veränderungen.- 4.3 Literaturvergleich.- 4.4 Zusammenfassung und Ausblick.- 5 Verfeinerung des grobkörnigen Modells der Revisions- und Konsistenzkontrolle.- 5.1 Verfeinerung der Struktur von Revisionsgraphen.- 5.2 Verfeinerung grobkörniger Operationen auf Revisionsgraphen.- 5.3 Literaturvergleich.- 5.4 Zusammenfassung und Ausblick.- 6 Modellierung der Konsistenzkontrolle auf der feinkörnigen Ebene.- 6.1 Normierte EBNF's und abstrakte Syntaxgraphen.- 6.2 EBNF-Korrespondenzen.- 6.3 Ein inkrementeller Transformator.- 6.4 Literaturvergleich.- 6.5 Zusammenfassung und Ausblick.- 7 Modellierung der Revisionskontrolle auf der feinkörnigen Ebene.- 7.1 Kontextfreies Verschmelzen.- 7.2 Kontextsensitives Verschmelzen.- 7.3 Dokumentübergreifende Aspekte des Verschmelzens.- 7.4 Literaturvergleich.- 7.5 Zusammenfassung und Ausblick.- 8 Realisierung der Revisions- und Konsistenzkontrolle.- 8.1 Der Graphenspeicher GRAS.- 8.2Realisierung eindeutiger Knotenbezeichner und graphübergreifender Kanten.- 8.3 Realisierung von Basisoperationen zur Änderungsverwaltung.- 8.4 Stand der Implementierung.- 8.5 Zusammenfassung und Ausblick.- Stichwortverzeichnis.