Detailinformation

	Diplomarbeit
Titel	Rigorose objektorientierte Analyse mit LOTOS: Spezifikation eines nebenläufigen, objektorientierten Datenflußsystems für die digitale Signalverarbeitung
Autor	Peck, Patrick
Erscheinungsjahr	2000
Inventardatum	07.02.2000
Abstract	Rigorose objektorientierte Analyse (ROOA) integriert eine formale Spezifikationssprache in den Prozess der objektorientierten Analyse, mit dem Ziel, bereits in einer frühen Phase der Softwareentwicklung über ein exaktes und ablauffähiges Modell des zu entwickelnden Systems zu verfügen. Wir zeigen ROOA anhand der formalen Spezifikationssprache LOTOS und entwickeln damit eine objektorientierte Spezifikation eines Datenflußsystems für die digitale Signalverarbeitung. Das Datenflußsystem verwendet einfache Rechenelemente, die zu komplexeren Signalverarbeitungsfunktionen zusammengeschaltet werden können. Es soll so spezifiziert werden, dass einerseits eine einfache Erweiterbarkeit gegeben ist, andererseits nebenläufige Abarbeitung unterstützt wird. Das gesteckte Ziel konnte erreicht werden und es stellte sich heraus, dass ROOA sehr gut für diese Aufgabenstellung geeignet war, wenngleich die Verwendung von LOTOS als Spezifikationssprache nicht die optimale Wahl darstellte.
Status	Verfügbar