Modelle zur Spezifikation von Prozesslenkungssystemen

Zusammenfassung

Es wird eine Spezifikationsmethodik erläutert, die auf drei Typen von Modellen (“abstrakten Prozeßlenkungssystemen„) beruht. Dies sind a. kontinuierliche Modelle, b. aktionsorientierte Modelle und c. datenorientierte Modelle. (a. ist aus Regel- und Steuerungstechnik gut bekannt; b. und c. werden näher erläutert.)

Aktionsorientierte Modelle beschreiben die abstrakte “task„-Struktur; Elemente sind “conditions„, d.s. Aussagen über den Systemzustand, und Aktionen, d.s. sequentielle Prozesse, die von Änderungen im Systemzustand ausgelöst werden.

Datenorientierte Modelle enthalten die Eigenschaften der im Prozeß manipulierten Objekte in einem relationalen Datenmodell. Aktionen werden als “Transformationsrechte„ spezifiziert.

Wechselwirkungen zwischen den Blöcken der Teilmodelle werden mittels

“Kommunikationsdaten„ beschrieben, die genau definierte räumliche und zeitliche Gültigkeitsbereiche haben.