Objektorientierte Daten- und Zeitmodelle für die Echtzeit ...

Kapitel 6
Funktionale Beschreibung von
Bildfolgenprogrammen
Im Mittelpunkt dieses Kapitels sollen verschiedene Aspekte der funktionalen Beschreibung von
den Programmkomponenten stehen, die für die kontinuierliche Verarbeitung von Bildfolgen und
anderen Sensordaten zuständig sind. Von besonderer Bedeutung für den funktionalen Entwurf
ist die Wahl einer geeigneten Abstraktionsebene, in der der Entwurf anzusiedeln ist. In diesem
Rahmen sollen Ausdrucksmittel für eine von den zugrundeliegenden Softwarebibliotheken
unabhängige Beschreibung der Bereitstellung und Verarbeitung dynamischer Daten untersucht
werden.
6.1 Einordnung
6.1.1 Abstraktionsebenen und Beschreibungsmittel
Die Beschreibung einer Applikation und deren Komponenten kann in verschiedenen Ebenen
mit unterschiedlichem Abstraktionsgrad erfolgen. Das Spektrum möglicher Abstraktionsebenen
reicht dabei, wie Abb. 6.1 zeigt, von einer allgemeinen, abstrakten Programmspezifikation
über formalisierte, auf Operatoren und komplexen Datenobjekten basierenden Beschreibungen,
bis hin zur Implementierung in einer Programmiersprache und dem ausführbaren Maschinenprogramm.
Für jede Ebene existieren bestimmte, typische Beschreibungsmittel. Zu ihnen zählen beispielsweise
imperative Programmiersprachen, objektorientierte Modellierungssprachen, funktionale
Sprachen sowie Graphen und Diagramme; aber auch der Maschinencode oder, als anderes
Extrem, verbale, formlose Spezifikationsmittel, z.B. in Form von Pflichtenheften, stellen
mögliche Beschreibungsformen dar.
6.1.2 Bedeutung der Wiederverwendbarkeit von Systementwürfen
und Softwareentwicklungen
Bei der Entwicklung von Softwaresystemen wird i.d.R. von einer abstrakten Programmspezifikation
ausgegangen, die in den verschiedenen Entwurfsebenen schrittweise verfeinert und dabei
85