В сценарии запись аудита выполняется только при истинном условии, после чего поток всегда продолжается одним и тем же шагом. Какой комбинированный фрагмент UML следует выбрать вместо показанного, чтобы явно выразить условное выполнение аудита?
@startuml
actor Пользователь
participant Система
Пользователь -> Система: Отправить заявку
alt заявка валидна
Система -> Система: Записать аудит
else заявка невалидна
end
Система --> Пользователь: Вернуть результат
@enduml
Следует использовать комбинированный фрагмент opt, а не alt. opt обозначает необязательный фрагмент: при истинном условии действие выполняется, при ложном — пропускается, а затем управление в обоих случаях переходит к общему продолжению.
alt предназначен для взаимоисключающих альтернатив, когда для разных условий задаются разные ветви поведения. В данном сценарии отдельного поведения для случая ложного условия нет.
Комбинированные фрагменты появились в UML для компактного описания условного, циклического, параллельного и иного управляемого поведения на диаграммах последовательностей. До их применения такие варианты часто изображали множеством отдельных сообщений и комментариев, из-за чего было трудно отличить обязательные шаги от условных.
Разделение opt и alt делает модель точнее: диаграмма показывает не только порядок сообщений, но и структуру выбора. Это снижает риск того, что разработчик или тестировщик воспримет отсутствие действия как отдельную бизнес-ветвь.
В исходной модели ветвь else фактически не содержит действий. Поэтому она не описывает самостоятельный сценарий, а лишь показывает, что при ложном условии аудит не записывается.
Использование alt здесь может создать неверное впечатление, будто валидная и невалидная заявки имеют два полноценных альтернативных поведения. Если позже в одну ветвь добавят сообщение, а общую часть переместят внутрь неправильной области, смысл диаграммы станет неоднозначным.
Фрагмент opt содержит одно условие и один блок сообщений. Если условие истинно, блок выполняется; если ложно, блок пропускается. После этого последовательность продолжается за пределами фрагмента.
Фрагмент alt содержит две или более альтернативные ветви. Для каждого экземпляра взаимодействия выбирается одна подходящая ветвь, обычно по охранному условию. Такой фрагмент нужен, когда альтернативы отличаются наблюдаемым поведением, например разными ответами или разными последующими сообщениями.
Корректная модель для данного случая может выглядеть так:
Важно, что условие должно быть сформулировано как проверяемое логическое выражение, например заявка валидна, а не как расплывчатое описание вроде обычная заявка. Если при невалидной заявке меняется ответ, создаётся уведомление или прекращается сценарий, тогда alt становится оправданным.
opt не означает, что действие выполняется асинхронно или что оно несущественно для бизнеса. Он описывает только условность выполнения относительно основного сценария. Бизнес-обязательность действия определяется требованиями, а не названием фрагмента UML.
В системе подачи заявок аудит записывается только для заявок, прошедших проверку формата. После проверки пользователь в обоих случаях получает ответ: заявка принята либо отклонена.
Рассматривались два варианта. alt позволял явно показать обе ветви, но требовал дублировать ответы или выносить общую часть за пределы ветвления; это увеличивало визуальную сложность. Оставить обычное сообщение без фрагмента было проще, но условие записи аудита потерялось бы из модели.
Выбрали opt: внутри него оставили только сообщение записи аудита, а общий ответ разместили после фрагмента. В результате разработчик видит условность аудита, а тестировщик — что ответ пользователю является общим продолжением. Если позднее для отклонённой заявки появится отдельное уведомление, модель можно заменить на alt с двумя содержательными ветвями.
Можно ли использовать alt, если одна из его ветвей пуста?
Технически такая модель может передавать смысл «при одном условии действие есть, при другом его нет». Однако семантически opt точнее выражает единственный условный фрагмент без самостоятельной альтернативной ветви. Пустая ветвь alt допустима только если важно явно зафиксировать альтернативный случай как часть сценария или если у него есть существенное значение для анализа.
Где размещать сообщения, общие для всех альтернатив?
Их следует располагать после комбинированного фрагмента, если они выполняются после любого выбранного варианта. Размещение общего сообщения внутри каждой ветви дублирует модель и повышает риск расхождения. Если сообщение выполняется только в конкретной ветви, оно должно находиться внутри соответствующего операнда alt.
Чем охранное условие отличается от предусловия сценария?
Охранное условие ограничивает выполнение конкретного фрагмента или перехода внутри взаимодействия. Предусловие описывает состояние, которое должно быть истинным до начала всего сценария. Если заявка уже гарантированно валидна до входа в сценарий, проверку аудита нельзя моделировать как opt на основании этого же факта без дополнительного условия: нужно определить, какое событие действительно управляет записью аудита.