4.4.5 Auflistung der möglichen Probleme

Die Fehler, die die statische Validierung erkennen kann, finden Sie in Tabelle 4.1 und die möglichen Warnungen finden Sie in Tabelle 4.2 aufgelistet. Zu jedem Fehler und jeder Warnung ist eine kurze Beschreibung und der eventuell vorhandene Quickfix angegeben.

Table 4.1: Fehler

Fehler	Beschreibung	Quickfix
Unbenanntes Element	Statechart-Elemente werden über ihren Namen referenziert, daher muss jedes Element auch einen Namen besitzen.	Element umbenennen
Doppelter Elementname	Zustände und Compartments müssen in ihrem Namensraum eindeutige Namen besitzen.	Standardnamen zuweisen
Fehlender Startzustand	In jedem Statechart oder Compartment muss sich ein Startzustand befinden.	Startzustand erstellen
Mehrere Startzustände	Innerhalb eines Statecharts oder Compartments darf sich jeweils nur ein Startzustand befinden.	Überflüssige Startzustände löschen
Fehlende Transition	Jeder Startzustand muss genau eine ausgehende Transition besitzen.	nicht verfügbar
Mehr als eine Transition aus Startzustand	Es darf jeweils nur eine Transition einen Startzustand verlassen.	nicht verfügbar
Ereignis auf Transition aus Startzustand	Transitionen aus Startzuständen dürfen keine Ereignisse enthalten, sondern müssen Epsilon-Transitionen sein.	Ereignis löschen
Transition schneidet Compartments	Mehrere Compartments innerhalb eines Zustands modellieren nebenläufige Prozesse, die nicht über Transitionen verbunden sein dürfen.	Transition löschen
Doppelte Ereignisse auf Transitionen aus einem Zustand	Verlassen mehrere Transitionen mit identischen Ereignissen einen Zustand, so ist der deterministische Ablauf des Statecharts verletzt.	nicht verfügbar
Ungültiges Transitionsziel	Transitionen, die einen Startzustand verlassen, dürfen als Ziel nur ein Statechart-Element haben, das sich im selben Compartment befindet.	Transition löschen

Table 4.2: Warnungen

Warnung	Beschreibung	Quickfix
Zustand nicht erreichbar	Der Zustand kann bei Ausführung nicht erreicht werden, ist also überflüssig.	Zustand löschen
Endzustand nicht erreichbar	Der Endzustand kann bei Ausführung nicht erreicht werden, ist also überflüssig.	Endzustand löschen
Epsilon-Transition nicht erreichbar	Die Epsilon-Transition kann bei Ausführung nicht erreicht werden, ist also überflüssig.	Transition löschen