6 Диаграмма СостоянийОбъектов (SateChart)

Это мгновенный снимок состояния объектов системы.

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

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

Используется при анализе системы для показа семантики основных и второстепенных сценариев системы.

Объект-клиент тот, который вызывает характеристики другого объекта.

Объект-сервер тот, характеристики которого вызываются другим объектом.

Обозначения в диаграммах состояний и переходов объектов

Состояние

Это итоговый результат поведения системы. Каждое состояние может иметь имя. Множество состояний конечно.

Обозначение

или

Имя состояния

Пишут с заглавной буквы. Носит законченный характер. Рекомендуется использовать глагол в настоящем времени - Звонит, Печатает, Ожидает или причастие – Свободен, Передано, Получено.

Список действий в состоянии

1 Входные действия Entry action

Это действия, которые выполняются, когда объект переходит в данное состояние.

2 Деятельность Do activity

Это действия, которые выполняются, когда объект находится в данном состоянии.

3 Выходные действия Exit action

Это действия, которые выполняются, когда объект выходит из данного состояния.

4 Включение действий подавтомата Include

Это действия, которые выполняются автоматом, включенным в деятельность.

Начальное состояние и Конечное состояние

ёёИспользуется для указания начала или окончания процесса смены состояний системы.

Переход Transition

Отражает факт смены состояний системы.

Обозначение

Имя перехода

Имя перехода – это строка текста формата:

<сигнатура события>’[‘<сторожевое условие>’}’<выражение действия>

Сигнатура события – это строка текста формата:

<имя события>’(‘<список параметров через запятую >’)’

Термы формата могут отсутствовать.

С переходом ассоциированы:

Событие

Лежит в основе перехода.

Если событие-триггер («да-нет»), то переход называют триггерным. Обязательно именуются.

Если событие обозначает завершение действия, то переход называют нетриггерным. Не именуются.

Сторожевое условие (Ограничения) Guard conditions

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

Действия Action

Это действия, которые выполняются во время перехода в новое состояние.

Составное состояние или супер-состояние или состояние-композит

Это состояние, которое включает другие состояния – подсостояния.

Когда состояние (супер-состояние) содержит вложенные состояния (подсостояния), говорят о вложенных состояниях. Используется для абстрагирования от несущественных состояний.

Подсостояние

Это состояние, которое входит в состав супер-состояния.

Последовательные подсостояния

Подсостояния, которые выполняются последовательно.

Параллельные подсостояния

Подсостояния, которые могут выполняться параллельно.

Историческое состояние

Если новый вход в состояние зависит от предыдущего состояния, говорят об истории состояний.

Об истории подсостояний говорят, когда выход из составного состояния происходит не по его окончании, а из его середины.

Неглубокое историческое состояние

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

Обозначение

Глубокое историческое состояние

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

Обозначение

Переходы между параллельными состояниями

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

Слияние переходов происходит, если имеется событие-триггер для всех состояний, срабатывание которого приводит к одному состоянию.

Переходы между составными состояниями

Переход в составное состояние может быть на все или нет вложенные состояния.

Выход из составного состояния может быть из одного или нет вложенных состояний.

При этом допустимы любые переходы между вложенными состояниями внутри составного состояния.

Синхронизирующие состояния

При слиянии или разделении переходов используют, при необходимости, синхронизирующие состояния с целью согласования во времени процессов – «… подготовка СчетаОплатыЭлектроэнергии возможна лишь после проверка ЛимитаПотребленияЭлектроэнергии …»

Обозначение

Пример

Пример «Диаграмма СостоянийОбъектов системы Банкомат»

банкомат включен

карточка вставлена банкомат

отмена транзакции выключен

ПИН введен

[ПИН неверный] [прошло 5 секунд]

три неудачи/конфискация карточки

отмена транзакции

[ПИН верный]

карточка возвращена

отмена транзакции

выбор справки

выбор суммы [сумма введена]

[выбрана печать чека] [не выбрана

печать чека]

[кредит превышен]/сообщение