Validierung

Die Schaltfläche Validieren im Tab Allgemein prüft eine Machine auf häufige Konfigurationsprobleme und meldet das Ergebnis als Benachrichtigung. Sie ändert nie etwas — sie sagt Ihnen nur, worauf Sie schauen sollten.

Was sie prüft

Fehlender Anfangszustand

Jede Machine sollte genau einen Anfangszustand haben — den Status, in dem eine Entität startet. Ist keiner gesetzt, haben Entitäten keinen definierten Ausgangspunkt.

Behebung: Setzen Sie einen Anfangszustand über den Tab Zustände oder das Feld Anfangszustand im Tab Allgemein. Siehe Zustände verwalten.

Verwaiste Zustände

Ein Zustand ganz ohne Übergänge — nichts führt hin und nichts führt weg. Er kann weder betreten noch verlassen werden und hat damit keinen Zweck im Ablauf.

Behebung: Fügen Sie die verbindenden Übergänge hinzu oder entfernen Sie den Zustand, wenn er nicht benötigt wird.

Nicht erreichbare Zustände

Ein Zustand ohne eingehenden Übergang. Der Ablauf kann ihn nie erreichen (es sei denn, es ist der Anfangszustand), sodass Entitäten diesen Status nie annehmen.

Behebung: Fügen Sie einen Übergang hinzu, der zu ihm führt, oder machen Sie ihn zum Anfangszustand, falls das die Absicht war.

Doppelte Übergänge

Zwei Übergänge mit derselben Aktion, Quelle und Ziel. Das Duplikat hat keine Wirkung und macht die Machine nur unübersichtlich.

Behebung: Löschen Sie den überflüssigen Übergang im Tab Übergänge. Das Formular zum Hinzufügen blockiert das Erstellen exakter Duplikate bereits, daher fängt dies vor allem solche ab, die früher importiert oder erstellt wurden.

Wann ausführen

Nach dem Aufbau einer neuen Machine, bevor Sie sich auf sie verlassen.
Nach dem Hinzufügen oder Entfernen von Zuständen oder Übergängen bei jeder Machine.
Nach dem Bearbeiten einer Kern-State-Machine, als Sicherheitscheck.

Ein sauberes Ergebnis bestätigt, dass die Machine einen Ausgangspunkt hat, keine Sackgassen und keine überflüssigen Übergänge.