Ein (Sub-)Zustandsautomat enthält nur dann ein INIT_ACTION-Element, wenn er eine initiale Transition besitzt.
Die Aktion der initialen Transition ist auch unterhalb des entsprechenden TRANSITION-Elements zu finden (TRANSITION/ACTION).
Die Redundanz erleichert die Verarbeitung durch das Codegenerierungsskript. |