HSBO/CVH - Softwaretechnik 1 - Leitfragen

Anforderungsmodellierung

Was sind typische Fehlerquellen bei Zustandsdiagrammen?

Vermeiden von Fehlerquellen:
  • genau ein Startzustand pro Ebene
  • keine ausgehenden Transitionen von Endzuständen
  • keine eingehende Transitionen in den Startzustand
  • Transitionen, die den Startzustand verlassen, dürfen nur Aktionen besitzen - keine Guards oder Events
  • Zustände müssen mindestens eine ausgehende Transition besitzen
  • Guards ausgehender Transitionen müssen disjunkt sein
  • zwei Transitionen mit gleichen Events ohne Guards sind nicht erlaubt, da die Reaktion auf Events immer eindeutig sein muss
  • eine Transition ohne Guard oder Event wird ausgeführt, sobald alle Aktionen des Zustands vollständig beendet sind.

Diskussion