Prozess (P): Entscheidbarkeit durch Zustände

Dieser Artikel beschreibt den Prozessbegriff in Selmo als zustandsbasiertes Betriebsverhalten. Er zeigt, wie Entscheidbarkeit durch vollständige Zustandsdefinition erreicht wird.

Der Prozess wird in Selmo nicht mechanisch, sondern verhaltensbezogen verstanden. Jeder Betriebszustand wird durch Aktion und erwartete Reaktion beschrieben und muss eindeutig entscheidbar sein.
Der Artikel zeigt, wie fehlende oder unklare Zustände zu Risiken führen und warum diese Risiken bereits vor der technischen Umsetzung sichtbar gemacht werden müssen.