Асинхронные сообщения в sequence, сигналы, event-driven transitions в state, accept event actions в activity. Важно явно показать, что вызывающий не блокируется, и как обрабатываются гонки.
Разбор
- Очереди/брокеры можно показать как участники.
- Timeout — отдельное событие.
- Идемпотентность обработки — в правилах.
- Не смешивают sync RPC и fire-and-forget без пометки.
Итог
Асинхронность моделируют явно: сообщения, события, таймауты и семантика доставки.