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

128 KAPITEL 6. FUNKTIONALE BESCHREIBUNG VON BILDFOLGENPROGRAMMEN
set(t ,S)
g
SF
add()
prop() call(t g)
S in [1] := get t? (t g)
S in [2] := get t? (t g)
Aufruf weiterer Funktoren
aus Abhängigkeitsliste
set(t ,S)
g
S G
[Datum nicht verfügbar]
Abbruch
add()
t?
t?
prop() call(t g)
S in [1] := get t? (t g)
S in [2] := get t? (t g)
Aufruf weiterer Funktoren
aus Abhängigkeitsliste
F
JK
pre()
pre()
[alle Daten da]
do()
Aufruf der eigentlichen
Funktoroperationen
post()
set(t g,S out[1])
S J
add()
prop()
set(t g,S out[2])
Abbildung 6.30: Ausführliches Sequenzdiagramm zur Darstellung des Kontrollflusses eines
synchron vorwärts gesteuerten Funktors.
verwendet wird: ÐÐ ÂÃØ Ë . Der Funktor versucht nun, seine Eingangsdaten mit den aktuellen
Werten der entsprechenden Datensequenzen Ë und Ë zu besetzen. Für Ë ÁÒ Ë Ø
gelingt dies, da Ë im aktuellen Zyklus bereits aktualisiert wurde. Ë ÁÒ Ë Ø hingegen
wurde in diesem Szenario noch nicht aktualisiert, weswegen der Funktoraufruf scheitert und
abgebrochen wird. Die Kontrolle kehrt zur Sequenz Ë zurück, die nun, falls vorhanden, weitere
Folgefunktoren aufruft. Erst nachdem diese bearbeitet oder wie ÂÃ aufgrund fehlender
Eingangsdaten abgebrochen wurden, ist die Aktualisierung von Ë beendet und der Kontrollfluß
geht an den aufrufenden Funktor zurück.
S K
add()
prop()