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

6.4. KONTROLLFLUSS IN FUNKTIONALEN DATENNETZEN 129
Wird nun die Sequenz Ë ebenfalls mit der Datenzeit Ø aktualisiert, wiederholt sich der
Aufruf von ÂÃ. Da jetzt alle Eingangsdaten zur Verfügung stehen, kann der Funktor seine
intern gekapselten Operationen in der Ó -Methode ausführen und anschließend in ÔÓ×Ø die
von ihm berechneten Ausgangsdaten in die entsprechenden Sequenzen schreiben. Dies geschieht
mit der ×Ø -Methode nacheinander für alle Ausgangsdaten, wobei sich für jede Ausgangssequenz
das hier beschriebene Prozedere wiederholt, d.h. die Sequenz bekommt die Kontrolle
übergeben, ruft eventuell vorhandene Folgefunktoren auf, wartet auf deren Abarbeitung
und gibt die Kontrolle an ÂÃ zurück. Sind alle Ausgangsdatensequenzen aktualisiert, gibt der
Funktor die Kontrolle an Ë zurück. Sind weitere Folgefunktoren vorhanden, werden diese
in der gleichen Form abgearbeitet, und schließlich wird die Aktualisierung der Sequenz Ë
beendet.
In diesem Diagramm wird davon ausgegangen, daß Ë das erste Eingangsdatum von ÂÃ
ist und vor Ë aktualisiert wird. Es läßt sich jedoch leicht zeigen, daß der Mechanismus ähnlich
arbeitet, wenn die Eingabeparameter vertauscht werden, die Aktualisierung der Sequenzen in
umgekehrter Reihenfolge erfolgt oder ein Funktor beliebig viele Eingangsdaten besitzt. Auch
ein Verschieben des Funktors ÂÃ in den Listen der von Ë und Ë zu triggernden Funktionen
ÔÒ ändert nichts Grundsätzliches an dem aufgezeigten Kontrollfluß.
Es ist ebenfalls offensichtlich, daß Funktoren ohne Ausgangsdaten wie Ë ohne
Probleme in diesen Aufrufmechanismus integriert werden können. Bei ihnen entfällt lediglich
die ÔÓ×Ø -Methode des Funktoraufrufs. Und schließlich fügen sich auch Funktoren, die wie À
ein aktuelles Datum zusammen mit älteren Sequenzwerten der gleichen Sequenz verarbeiten:
ËÀ À Ë
, ohne weiteres in den Mechanismus ein. Im Rahmen der Aktualisierung von
Ë wird À aufgerufen, und, da alle Eingangsdaten zur Verfügung stehen, kann dieser sofort
seine Arbeit aufnehmen. Zu beachten ist dabei, daß nach Abschnitt 5.1.2 die Datenmeßzeit des
Ausgangsdatums ËÀ zwar standardmäßig das Intervall über alle Eingangsmeßintervalle umfaßt
(z.B. Ë À Ë Ë ℄), für Gültigkeitstests nachfolgender Funktoren aber nur der
Endzeitpunkt dieses Intervalls herangezogen wird: Ø Ë À Ë Ø Ë .
Asynchrone Ablaufsteuerung
Kennzeichen einer asynchronen Ablaufsteuerung ist, daß der Kontrollfluß sich an bestimmten
Punkten im Programm bzw. im Datenflußgraphen teilt. Verschiedene Programmzweige werden
dadurch nebenläufig bearbeitet. Darüber hinaus müssen die Daten- oder Funktionsobjekte nicht
auf die Beendigung der von ihnen in anderen Objekten gestarteten Aktionen warten, bevor die
eigene Methode abgeschlossen werden kann, d.h. ein Funktor kann so z.B. bereits den nächsten
Zyklus beginnen, während nachfolgende Funktoren noch die Daten eines vorhergehenden
Zyklus bearbeiten.
Bei der datengetriebenen Modulsteuerung lassen sich mit Hilfe der folgenden Relationen
asynchrone Programmzweige spezifizieren: ×Ø kennzeichnet das Setzen eines neuen Sequenzwert
in einem eigenen Programmfaden und ØÖ sorgt für den Aufruf eines nachfolgenden
Funktors — ebenfalls in einem eigenen Programmfaden. Einfache Datenzugriffe mit
Ø
Ø und Ø℄ werden nicht asynchron definiert, da sie nur einen Wert abfragen, und die
Kontrolle sofort zum aufrufenden Funktor zurückkehrt — eine Parallelisierung ist an dieser
Stelle nicht notwendig.