7.2 Die Ursache liegt meist im Prozess, nicht im System

Selmo funktioniert immer dann, wenn der Prozess deterministisch beschreibbar ist – das heißt, wenn man eindeutig sagen kann, welche Aktion welche Wirkung haben soll.

Wenn ein Prozess unklar bleibt („irgendwann sollte etwas passieren“), kann auch kein sauberes Modell entstehen. Selmo zwingt deshalb zur Präzisierung:

Was ist der Startpunkt? Was ist der Endpunkt?

Welche Bedingungen müssen erfüllt sein, damit der nächste Zustand sicher erreicht wird?

Wenn diese Fragen beantwortet sind, lässt sich jede Aufgabe in Selmo abbilden.