März 2003 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend 2-141 Semantik Mit 2 UML 2,12,2 Abstract syntax Die abstract syntax für Zustandmaschinen wird graphisch in Tabelle 2-24 an ausgedrückt Seite 2-141, welches alle Grundmodelle der Zustandmaschinendiagramme wie Zustände umfaßt und Übergänge. Tabelle 2-25 auf Seite 2-142 beschreibt die abstract syntax von Fällen das kann Zustandmaschinenverhalten auslösen. Die Spezifikationen der Konzepte definiert in diesen zwei Diagramme werden in alphabetischer Reihenfolge nach den Abbildungen verzeichnet. Tabelle 2-24 ZustandcMaschinen - Hauptleitung Pseudostate ind: PseudostateKind SimpleState SynchState Grenze: UnlimitedInteger StubState referenceState: Name FinalState CompositeState SubmachineState ModelElement (vom Kern) Schutz Ausdruck: BooleanExpression Fall StateVertex +subvertex 0.. * +container 0,,1 StateMachine * +submachine 1 +behavior * +context 0,,1 Zustand 0.. * +deferrableEvent 0.. * +top 1 ,,1 Verfahren (vom allgemeinen Verhalten) 0,,1 +doActivity 0,,1 0,,1 +exit 0,,1 0,,1 +entry 0,,1 Übergang 1 +guard 0,,1 +trigger 0,,1 * +source 1 +outgoing * +target 1 +incoming * Übergänge * 0,,1 +internalTransition * 0,,1 +effect 0,,1 0,,1