Ein (Sub-)Zustandsautomat enthält nur dann ein DEEP_HISTORY_ID-Element, wenn er einen DeepHistory-Pseudozustand besitzt.
Die ID des DeepHistory-Pseudozustands ist auch unterhalb des entsprechenden STATE-Elements zu finden (STATE/ID).
Die Redundanz erleichert die Verarbeitung durch das Codegenerierungsskript. |