Eine Methode zur formalen Modellierung von ...

4 Einfuhrung
1.2 Ergebnisse
Der allgemeine Rahmen von Focus und die semantische Basis wurden mit dieser Arbeit einer
Prufung unterzogen. Mit der Bearbeitung einer derartig komplexen Anwendung wurde
gezeigt, da Focus zur systematischen Spezikationsentwicklung fur komplexe Software
erfolgreich eingesetzt werden kann. Die Spezikationen, die im mathematisch-logischen Stil
erstellt sind, wurden so aufbereitet, da sie fur Leser, die mit Focus nicht vertraut sind,
nachvollziehbar und verstandlich sind. Die Betriebssystemkonzepte wurden auf hohem Abstraktionsniveau
und ohne Einbeziehung von Realisierungsdetails behandelt, sind jedoch
aus Betriebssystemsicht durchaus realistisch, was die Erarbeitung der Anforderungen der
einzelnen Teilaufgaben anhand der zitierten Literatur zeigt. Die Systematik der Spezikationserstellung
orientiert sich sowohl an der systematischen und einheitlichen Darstellung
der Formalisierungen als auch an dem Prinzip, einfache Systeme mit Kernfunktionalitat zu
modellieren und diese Schritt fur Schritt um weitere Funktionalitaten zu erweitern, wobei
bereits erstellte Spezikationen konsequent erweitert und angepat werden. Im einzelnen
wurden folgende Ergebnisse erzielt:
Die semantischen Konzepte und Beschreibungstechniken von Focus, die fur das Verstandnis
der erstellten formalen Modellierungen notwendig sind, wurden auf eine Art und Weise
dargestellt und beschrieben, mit der
1. einem Entwickler Unterstutzung zur Erarbeitung formaler Modellierungen gegeben
wird. Durch die hier neu entwickelten und festgelegten Spezikationsschemata konnen
Spezikationen mittels rekursiver Funktionsgleichungen ausgehend von einem strukturierten
Text systematisch erstellt werden. Die Schemata werden bei der Erstellung
der spater gezeigten Formalisierungen konsequent eingesetzt.
2. die Grundlagen anschaulich erlautert sind, um einem mit Focus wenig vertrauten
Leser den Zugang zu den Formeln zu erleichtern und diese verstandlich zu machen.
Die semantische Basis ausgehend von den Stromen uber das gezeitete Modell, den
statischen Systemen bis zur Modellierung mobiler, dynamischer Strukturen, ist in
dieser Form erstmals zusammenfassend dargestellt.
Die wesentlichen Charakteristika, Aufgaben und Bestandteile eines Betriebssystems werden
allgemein, aber auch auf die entwickelte formale Modellierung zugeschnitten, erlautert.
Diese abstrakte Beschreibung, die mit der Spezikationserstellung Hand in Hand geht, liefert
eine einfache und gut verstandliche Darstellung von zentralen Betriebssystemkonzepten
bzgl. der in einem Rechensystem auftretenden Managementaufgaben.
Insgesamt zeigt sich an den Modellierungen die Starke der gewahlten Vorgehensweise:
Die Weiterentwicklung der Formalisierung orientiert sich an der steigenden Komplexitat
der Aufgabenstellung. Aufgrund vorbereitender Manahmen in "
einfachen\
Spezikationen entstehen deren Erweiterungen durch Anpassungen und Vervollstandigungen.
Die formalen Modellierungen der Systeme mit wachsender Komplexitat