График состояний UML - законно ли выходить из составного состояния из мета-состояния?

Question

Является ли он «законным» для единственного перехода из составного состояния, исходящего из узла решения, как показано на рисунке?

http://pokit.org/get/?7358c1cf25ccd026b9ebe528768b0eb5.jpg

Да, я знаю, что письма кажется, что я говорю на языках. :) Кроме того, диаграмма имеет смысл, как это, и является ли она действительной в соответствии с правилами UML?

Благодарим вас за внимание!

Answer 1

Для обеспечения полной совместимости с UML (2.5) вам нужно будет вводить псевдотоны entryPoint и exitPoint при входе или выходе из состояния. Однако они часто не отображаются, когда нет перехода к/из подстанции или когда иерархическая история состояния не отслеживается.

Для этого вам понадобится псевдостат entryPoint в состоянии Zapoceta, который будет действовать как «мост» между начальной точкой и состояниями Непотпуны.

Аналогичным образом вам также понадобится псевдостант exitPoint в состоянии Zapoceta, который будет действовать как «мост» между псевдоположением выбора и состоянием Potpuna.

Кроме того, вам не понадобится «или» ограничение на переходы между состояниями Obracunata и Placena. У вас будут разные триггеры для каждого перехода. Наличие нескольких переходов из конечного автомата означает, что триггеры переходов являются взаимоисключающими.