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

108 KAPITEL 6. FUNKTIONALE BESCHREIBUNG VON BILDFOLGENPROGRAMMEN
(a.)
(b.)
S A
S A
S B
S
B
-1
-1
F
F
F
F
CD
E
CD
E
S
S
S
S
S
S
C
D
E
C
D
E
Abbildung 6.15: Basiskonzepte für die Steuerung eines Datennetzes: (a.) Kontrollfluß vorwärts,
durch Propagieren der Daten bzw. (b.) Kontrollfluß rückwärts, d.h. anfragegetrieben.
Standardrelationen: Um dem Entwickler eine detaillierte und über den Datenfluß hinausgehende
Spezifizierung sämtlicher Relationen zwischen Daten und Funktoren zu ersparen,
soll nach Auswahl eines Grundkonzepts für die Modulsteuerung das Ableiten der passenden
Relationen weitestgehend automatisch aus dem Datenfluß möglich sein, so daß eine
Einflußnahme des Entwicklers auf die Programmsteuerung nur noch in Ausnahmefällen
nötig wird.
Erreichbarkeit: Es muß sichergestellt sein, daß alle interessierenden Daten berechnet und
eventuell zusätzliche Aktionen (Funktoren ohne Ausgangsdatensequenzen) ausgeführt
werden, d.h. alle im Datenflußgraphen enthaltenen Objekte müssen erreichbar sein. Darüber
hinaus ist es bei knappen Ressourcen oft wünschenswert, die Menge der in einem
Zyklus zu bestimmenden Daten einschränken zu können.
Mehrfachberechnungen bzw. Endlosschleifen: Aufgrund der Forderung nach einer eindeutigen
Zuordnung zwischen Zeitpunkten und Datenwerten darf pro Arbeitszyklus jedes
Datum nur einmal aktualisiert werden, d.h. ein wichtiges Grundprinzip des vorgestellten
Konzepts ist, daß innerhalb eines Zyklus Daten nicht mehrfach berechnet werden. Die
Konsequenz dieser Forderung ist, daß die funktionale Ebene, die den Datenfluß eines
Bearbeitungszyklus beschreibt, keine Schleifen enthalten darf.
Verklemmungen: In einem ungünstig gestalteten Datennetz kann es aufgrund falsch definierter
Abhängigkeiten zu Verklemmungen kommen, wenn verschiedene Komponenten
wechselseitig aufeinander warten oder sich gegenseitig immer wieder aufrufen. I.d.R.
wird dies durch implizite Zugriffe auf Werte des vorangegangenen Zyklus verursacht.
Diese gilt es zu erkennen — lokal oder, falls dies nicht möglich sein sollte, durch den
Prozeß überwachende Agenten bzw. mit Hilfe eines speziellen Konfigurationszyklus. Ein
weiteres wichtiges Grundprinzip ist es daher, Zugriffe in die Vergangenheit in jedem Fall
explizit als solche zu kennzeichnen.
F
F
F
F
F
F
F
G
B
F
G
B
S
S
S
S
F
G
F
G
-1
-1
-1
-1
FX
F H
F
F
JK
L
FX
F H
F
F
JK
L
S H
S J
S K
S
L
S H
S J
S K
S
L