Zustandsinvarianten erstellen (UML 2.0)

Dieses Thema erläutert das Erstellen einer Zustandsinvariante.

So erstellen Sie eine Zustandsinvariante als OCL-Ausdruck:

Klicken Sie in der Tool-Palette des Diagramms auf die Schaltfläche Zustandsinvariante.
Klicken Sie auf das gewünschte Zielelement (Lebenslinie oder Ausführungsspezifikation).
Tipp: Verwenden Sie alternativ im Kontextmenü einer Lebenslinie oder Ausführungsspezifikation den Befehl Zustandsinvariante hinzufügen.
Erweitern Sie im Objektinspektor der Zustandsinvariante den Knoten Allgemein.
Wählen Sie in der Dropdown-Liste des Feldes Invariant kind den Eintrag OCL-Ausdruck aus. Die Form des Diagrammelements wird nun in ein Paar geschweifte Klammern geändert.
Wählen Sie im Knoten OCL-Invariante, der nun zusätzlich im Objektinspektor angezeigt wird, die Sprache des Kommentars in der Dropdown-Liste Language aus. Die möglichen Optionen sind OCL und Text.
Geben Sie den Text ein, und übernehmen Sie die Änderungen.

So verbinden Sie eine Zustandsinvariante mit einem Zustand:

Klicken Sie in der Tool-Palette des Diagramms auf die Schaltfläche Zustandsinvariante.
Klicken Sie auf das gewünschte Zielelement (Lebenslinie oder Ausführungsspezifikation).
Erweitern Sie im Objektinspektor der Zustandsinvariante den Knoten Allgemein.
Wählen Sie in der Dropdown-Liste des Feldes Invariant kind den Eintrag Zustand/Regionen aus.
Klicken Sie im Feld Zustand/Regionen auf die Auswahlschaltfläche.
Wählen Sie im Dialogfeld Zustände und/oder Regionen auswählen die gewünschten Zustände und/oder Regionen im Modell aus, und klicken Sie auf die Schaltfläche Hinzufügen.
Klicken Sie anschließend auf OK.
Tipp: Geben Sie alternativ den Zustands- oder Regionsnamen ein. Wenn der Zustand oder die Region zu einem anderen Paket gehört, geben Sie den vollständigen Namen ein.

Siehe auch