Ablaufkontrolle und Programmstrukturierung

Zusammenfassung

Die Bedingungsteile von OPS5-Regeln sind keine Booleschen Ausdrücke, die zu Wahr oder Falsch ausgewertet werden. Alle Einzelbedingungen einer Regel können als existenzquantifizierte Variablen verstanden werden, für die mittels der Attribute Prädikate angegeben werden können. Entsprechend wird nicht bloß zwischen erfülltem und nicht erfülltem Bedingungsteil unterschieden, sondern auch zwischen verschiedenen Instantiierungen einer Regel. Obwohl der Bedingungsteil einer Regel als prädikatenlogische Formel angesehen werden kann, läßt sich nicht jede beliebige Formel der Prädikatenlogik in einem einzigen Bedingungsteil formulieren. Die Mächtigkeit der Sprache beruht auf den Möglichkeiten der Kombination von Regeln und der Kombination von Bedingungsteilen und Aktionsteilen.