Что такое разложение OR и AND на диаграммах состояний?

Question

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

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

Моя проблема сейчас в том, что я не совсем понимаю, что такое разложения OR и AND на диаграмме диаграммы состояний. Не могли бы вы дать мне объяснение (так как я не нашел вокруг)?

Буду очень признателен за конкретный пример с соответствующей картинкой или диаграммой.

Answer 1

Следующая картинка является примером для ИЛИ. Рассмотрим токен, путешествующий из Initial к Choice (Алмаз). Здесь токен перемещается влево или вправо, руководствуясь ограничениями, которые проверяют проверенное условие в Choice, Оттуда, где они находятся, они следующие транзитом через следующий безымянный алмаз Continued, Вы можете оставить объединяющий бриллиант и нарисовать переходы непосредственно к Continued,

Условие AND выглядит следующим образом:

Первый Fork(панель) дублирует токен и отправляет их Either а также Or, Join за этими состояниями ждет двух токенов, прежде чем он отправит только один токен дальше Continued,

Fork а также Join используйте тот же символ. Они ждут, пока не поступят все входящие токены, а затем отправляют столько токенов, сколько существует исходящих переходов. Таким образом, они на самом деле какая-то раздвоение личности. Но в основном они используются тем или иным способом.