Переходы во вложенные состояния Семантика

Проведенный к границе составного состояния переход, эквивалентен переходу в начальное состояние (или составной переходу в начальные состояния каждой параллельной области, если состояние параллельное). Когда осуществляется переход в состояние, всегда выполняется входное действие.

Переход из составного состояния показывает переход, который выполняется каждым состоянием в области (на любой глубине); он наследуется вложенными состояниями. Наследуемые переходы могут маскироваться вложенными переходами с таким же условием инициирования.

Нотация

Проведенный к границе составного состояния переход, показывает переход в составное состояние. Что эквивалентно переходу в начальное состояние области составного состояния; начальное состояние должно существовать. Если состояние является параллельным составным состоянием, то переход показывает переход в начальные состояния каждого параллельного подсостояния.

Переходы могут быть начерчены напрямую к состояниям в области составного состояния на любой глубине вложенности. Все входные действия выполняются для любого состояния, в которое входит один из этих переходов. Для перехода в параллельное составное состояние, стрелки переходов могут проводиться от полосы синхронизации к одному или большему числу параллельных состояний; все другие параллельные подобласти запускаются из их состояний по умолчанию.

Переход, проведенный от границы составного состояния, показывает переход составного состояния. Если такой переход возбуждается, то любые вложенные состояния принудительно завершаются и выполняются их завершающие действия, затем выполняются действия перехода и устанавливается новое состояние.

Переходы могут быть напрямую проведены из состояний в области составного состояния на любой глубине вложенности. Все выходные действия выполняются для любого состояния, которое выходит по одному из этих переходов. Для перехода из параллельного составного состояния, стрелки переходов могут проводиться от одного или большего числа параллельных состояний к полосе синхронизации; следовательно, состояния в других областях не связаны с инициированием перехода.

Область состояний может содержать индикатор истории состояний, изображаемый окружностью с буквой 'H'. Индикатор истории относится к непосредственно содержащей его области состояния. Индикатор истории может иметь любое количество входящих переходов из внешних состояний и максимум один непомеченный переход, который идентифицирует "предыдущее состояние" по умолчанию, если в область никогда не входили. Возбуждение перехода в индикатор истории показывает, что объект возвращается в состояние, которое было последним в составной области; при этом выполняются любые необходимые входные действия. Для глубокой истории может применяться индикатор 'H*'. Он показывает, что объект скорее возвращается в состояние, которое было последним на какой-нибудь глубине составной области, чем в состояние заключенное в том же уровне, что и индикатор истории. Область может иметь одновременно поверхностные и глубокие индикаторы истории.