摘要 |
Die Erfindung betrifft ein Verfahren zum rechnergestützten Betrieb eines technischen Systems, auf dem eine oder mehrere für das technische System spezifische Applikationen ablaufen, unter Verwendung von Zustandsmaschinen, wobei jede Zustandsmaschine eine Menge gültiger Zustände und eine Menge gültiger Transitionen zwischen den Zuständen in einem Zustandsraum umfasst, bei dem: DOLLAR A - der Zustandsraum in einen ersten, von den Applikationen unabhängigen und die Zustände der Zustandsmaschine umfassenden Zustandsraum und einen zweiten, von den Applikationen abhängigen, erweiterten Zustandsraum eingeteilt wird; DOLLAR A - ein Ablauf einer Applikation in Teilzustandsmaschinen unterteilt wird, die miteinander dadurch verkettet sind, dass in den Teilzustandsmaschinen jeweils Transitionen von den Zuständen einer Teilzustandsmaschine zu Zuständen einer anderen Teilzustandsmaschine definiert sind; DOLLAR A - die Transitionen zwischen den Zuständen innerhalb jeder Teilzustandsmaschine durch eine Transitionsbeschreibung vorgegeben werden; DOLLAR A - die Zustände innerhalb einer Teilzustandsmaschine Methoden umfassen, wobei ein Teil der Methoden Teilabläufe einer Applikation im zweiten Zustandsraum kapseln.
|