Zustandsdiagramm

Question 1

allgemein

Answer 1

• (State Machine Diagramm)
• beschreibt die möglichen Folgen von Zuständen eines Modell-Elements, iA eines Objekts einer bestimmten Klasse
• während seines Lebenslaufs (Erzeugung bis Destruktion)
• während der Ausführung einer Operation oder Interaktion

Question 2

modelliert werden

Answer 2

• die Zustände, in denen sich die Objekte einer Klasse efinden können
• die möglichen Zustandsübergänge (Transitionen) von einem Zustand zum anderen
• die Ereignisse, die Transitionen auslösen
• Aktivitäten, die in Zuständen bzw. im Zuge von Transitionen ausgeführt werden

Question 3

Bsp.: Digitaluhr

Answer 3

kann 3 Zustände einnehmen:

• Zeit anzeigen
• Stunden einstellen
• Minuten einstellen

Question 4

Aktivitäten innerhalb eines Zustands

Answer 4

• entry (wird beim Eingang in den Zustand ausgeführt)
• exit (wird beim Verlassen des Zustands aufgeführt)
• do (wird ausgeführt, Parameter sind erlaubt)
• event (Aktivität behandelt Ereignis innerhalb des Zustands; wird ausgeführ, wenn sich das System indem Zustand befindet und das Ergebnis eintritt)

Question 5

Zustandsübergang (Transition)

Answer 5

tritt ein wenn:

• das Ereignis eintritt
• und die Bedingung (guard) erfüllt ist

Question 6

Syntax von Zustandsübergängen

Answer 6

• Ereignisse, Bedingungen und Aktivitäten auf Zustandsübergängen möglich
• Notation:
  Ereignis (Argumente) [Bedingung] / Aktivität
• die Aktivität kann aus mehreren Aktionen bestehen
• spezielle Aktivität: Nachricht an anderes Objekt senden (send empfänger.nachricht())

Question 7

Zustandsübergang: Ereignistypen

Answer 7

• CallEvent
  Empfang einer Nachricht (Operationsaufruf)
  (Bsp.: stornieren(), kollidiertMit(Termin))
• SignalEvent
  Empfang eines Signals
  (Bsp.: right-mouse-button-down, ok-Taste-grdrueckt)
• ChangeEvent
  eine Bedingung wird wahr
  (Bsp.: when(x

Question 8

Unterschied ChangeEvent und Bedingung

Answer 8

ChangeEvent:

• Bedingung wird permanent geprüft
• wenn Bedingung wahr ist, kann zugehöriger Zustandsübergang ausgelöst werden (falls nicht durch zugehörige Überwachungsbedingung blockiert)

Bedingung:

• wird nur geprüft, wenn zugeordnetes Ereignis eintritt
• kann selbst keinen Zustandsübergang auslösen

Question 9

Startzustand

Answer 9

• “Beginn” des Zustandsdiagramms
• keine eingehende Transitionen
• genau eine ausgehende Transition:
• wird sofort ausgelöst, wenn sich das System im Startzustand befindet
• keine Bedingungen und Ereignisse (Ausnahme: Ereignis zur Erzeugung des betrachteten Objekts)
• Angabe von Aktivitäten ist erlaubt

Question 10

Endzustand

Answer 10

• keine ausgehenden Transitionen

- kein Pseudozustand!

Question 11

Terminierungsknoten

Answer 11

• Objekt, dessen Verhalten modelliert wird, hört auf zu existieren

Question 12

innere Transition

Answer 12

• Werden wie »äußere« Transitionen von Ereignissen ausgelöst, verlassen aber den aktuellen Zustand nicht
• äquivalent zu Selbsttransition, sofern keine entry / exit-Aktivitäten vorhanden
• gleiche Aktivitäten können in den Zustand hineingezogen mwerden

Question 13

komplexe Zustände

Answer 13

• = Zustände, die aus mehreren Subzuständen zusammengesetz sind —> geschaltetes Zustandsdiagramm
• die Subzustände sind disjunkt, d.h. genau ein Subzustand ist aktiv, wenn der komplexe Zustand aktiv ist
• Teilung des Superstandes in mehreren Regionen