Введение

Интерактивные фреймы в sequence-диаграммах позволяют группировать сообщения и описывать сложное поведение с помощью стандартных конструкций.

Основные типы фреймов

1. Условные фреймы

• alt (Alternative): Взаимоисключающие альтернативы (if/else)

• opt (Optional): Необязательный блок (только if)

2. Циклические фреймы

• loop (Loop): Многократное выполнение блока

  • Может указывать минимальное/максимальное количество итераций

  • loop(1, N) или loop [while условие]

3. Параллельные фреймы

• par (Parallel): Параллельное выполнение блоков

  • Блоки внутри выполняются в произвольном порядке или одновременно

4. Специальные фреймы

• critical (Critical Region): Критическая секция - блок выполняется атомарно

• break (Break): Прерывает выполнение enclosing interaction если условие истинно

• ref (Reference): Ссылка на другую диаграмму взаимодействия

Примеры использования

plaintext

loop(5) [для каждого элемента]
    Клиент -> Сервер: запрос данных
    Сервер --> Клиент: ответ
end

par
    Участник A -> Участник B: задача 1
and
    Участник A -> Участник C: задача 2
end

critical
    Участник X -> Участник Y: атомарная операция
end

Вывод

Различные типы фреймов позволяют точно и наглядно описать сложное поведение системы на sequence-диаграммах, включая условия, циклы, параллелизм и атомарные операции.