Как вы представляете асинхронное действие, которое может изменить состояние программы на диаграмме состояний?

Я не уверен, что действительно понял всю вашу проблему, но для разработки вашей проблемы я бы использовал события. Переход может запускаться, когда происходит событие, поэтому я бы создал событие «ReceiveResponse» и переход между состоянием B и узлом принятия решения (как показано ниже). Это моделирует тот факт, что если конечный автомат находится в состоянии B и получает ответ, запускается переход, и в зависимости от значения ответа статус B меняется на Success или Fail.

Может быть, вы могли бы немного подробнее описать возможный переход или возможное состояние? Возможно ли, чтобы ваш объект находился в двух состояниях одновременно?

Надеюсь, это поможет,

ЭБР

Я бы рекомендовал использовать диаграмму последовательности.

1. Диаграммы последовательности допускают асинхронные вызовы методов класса/компонента. (или http-запросы, обрабатываемые чем-то, представленным в виде метода) Это действительно то, что вам нужно. Вы бы сфокусировали диаграмму последовательности на том, что они представляют собой несколько потоков управления для достижения определенного результата.

2. Диаграммы состояний на самом деле имеют довольно низкий уровень и могут плохо отображаться в этой области. Однако, если необходимо, все ваши методы/взаимодействия должны быть преобразованы в изменения состояния, а НЕ в вызовы. Между состояниями перемещается конечный автомат, а не методы и классы. Таким образом, ваши переходы состояний должны быть «получить сообщение B со значением A». Не то, что вы собираетесь для я подозреваю. Это не помогло бы мне понять вашу систему.

3. Если вам нужно сделать это, потому что вы делаете MDA/Generative UML, то значительно расширите свой вопрос. Я предполагаю, что это основной вопрос UML, если нет, дайте мне знать, и я могу добавить больше деталей.