Transparenz des Zustand-Zonen-Modell

<< Click to Display Table of Contents >>

Navigation:  Willkommen bei Selmo > Methode > Gegenüberstellung des Modells in Bezug auf die Qualitätskriterien > Transparenz >

Transparenz des Zustand-Zonen-Modell

In der Zustand-Zonen-Modellierung ist die erste Bedienung der Anforderung erfüllt. Das Modell zeigt, dass die Steuerung zu jedem Zeitpunkt ausgibt, was gerade getan werden soll, was gerade passiert und was als nächstes getan werden soll. Mit der Ausgabe der Zustände ist die Information über den aktuellen Zustand und über die folgenden Zustände gegeben. Die Ausgabe der Mx und Px geben zu jedem Zeitpunkt eine klare Information über das System aus, was gerade getan wird.

Im angeführten Beispiel wird im Zustand Z2 angezeigt:

Aktueller Zustand ist Z2

Der Eingang E2 muss erreicht werden

Nach erreichen des E2 wird in den Z3 gewechselt

Im Falle einer Fehlers (P) wird die entsprechende Meldung ausgegeben

Im Falle eines Fehlers (F)wird die entsprechende Meldung ausgegeben

 

Die zweite Anforderung an eine transparente Steuerung wir durch die Realisierung des Modells in der Programmentwicklung erfüllt. Die Umsetzung des Modells muss dem Verhalten und den Definitionen aus dem Modell folgeleisten.