Abstract :
Available as pdf.
In dieser Arbeit wird eine formale Grundlage für eine objektorientierte
Methodik entwickelt. Zur Spezifikation von Struktur und Verhalten verteilter
objektorientierter Systeme werden Beschreibungstechniken für Objektmodelle,
Klassen und Transitionssysteme definiert. Für die zustandsbasierte
Beschreibung nichtdeterministischen Komponentenverhaltens wird die Theorie
buchstabierender Automaten entwickelt. Es werden eine konkrete Darstellungsform,
eine abstrakte Syntax, eine denotationelle und eine operationelle Semantik
angegeben und gezeigt, daß beide Semantiken übereinstimmen.
Für buchstabierende Automaten wird ein Verfeinerungskalkül definiert,
der zur Transformation von abstrakten in detaillierte Verhaltensbeschreibungen
verwendet werden kann. Es wird gezeigt, daß dieser Kalkül bezüglich
der Semantikdefinition korrekt ist. Der Kalkül wird für die Spezialisierung
und die Vererbung von Verhaltensbeschreibungen in verteilten objektorientierten
Systemen eingesetzt. Ein Systemmodell charakterisiert eine Menge von verteilten
objektorientierten Systemen, die aus asynchron kommunizierenden Agenten
aufgebaut sind. Das Systemmodell dient als Basis für die Definition
einer integrierten, formalen Semantik für die oben genannten Beschreibungstechniken.
Methodische Entwicklungsschritte erlauben die Verfeinerung von Dokumenten
dieser Beschreibungstechniken. Basierend auf der formalen Semantik der
Verfeinerungsschritte werden präzise Aussagen über das Zusammenspiel
der verwendeten Beschreibungstechniken definiert. Die Verbindung graphischer
Beschreibungstechniken mit einer integrierten, formalen Semantik nutzt
Synergieeffekte formaler und praxisorientierter Ansätze der Softwaretechnik.
Formale Methodik des Entwurfs verteilter objektorientierter Systeme.
Herbert Utz Verlag Wissenschaft, ISBN 3-89675-149-2.
Dissertation Technische Universität. 1996
@book{Rum96,
author = {Bernhard Rumpe},
title = {Formale Methodik des Entwurfs verteilter objektorientierter Systeme, TUM Doktorarbeit},
publisher = {Herbert Utz Verlag Wissenschaft, ISBN 3-89675-149-2},
year = {1996}
}