Добрый день!

Возник такой вопрос – а может ли на диаграмме состояний (aka state machine) – быть условия?

По сути, мне нужно изобразить вот что:

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

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

Или же потребность отобразить переход сразу в два состояния свидетельствует о том, что неправильно выявлены сами состояния?

Благодарю за помощь!

Условия могут быть конечно (пишутся в квадратных скобках на переходах).

Если объект уже удовлетворяет некоторому условию, то он не в начальном состоянии. Начальное состояние - это когда объект еще не существует.