Тема 5. Модели анализа, проектирования и реализации

Диаграммы состояний

Таким образом, диаграмма состояний представляет динамическое поведение сущностей, на основе спецификации их реакции на восприятие некоторых конкретных событий.

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

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

Тема 5. Модели анализа, проектирования и реализации

Диаграммы состояний

Простое состояние ̶ это основа диаграммы состояний.

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

Простое состояние описывается при помощи трех внутренних секций: entry ̶ это метка входного поведения, она показывает, какое поведение выполняется при входе в данное состояние, и не зависит от перехода, в результате которого произошел вход в состояние;

exit ̶ это метка выходного поведения, она показывает какое поведение выполняется при выходе из данного состояния, и не зависит от перехода; do ̶ это метка, которая описывает поведение, выполняющееся вплоть до выхода из состояния

Тема 5. Модели анализа, проектирования и реализации

Диаграммы состояний

Композитные состояния включают в себя вложенные состояния или регионы.

Регионы ̶ это элементы модели, которые содержат состояния и переходы, а также являются частью композитного состояния конечного автомата

Тема 5. Модели анализа, проектирования и реализации

Диаграммы состояний

Псевдосостояние (pseudo-state) ̶

вершина в конечном автомате, которая имеет форму состояния, но не обладает поведением.

Начальное состояние (start state) ̶

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

Конечное состояние (final state) ̶ разновидность псевдосостояния, обозначающее прекращение процесса изменения состояний конечного автомата или нахождения моделируемого объекта в составном состоянии.

Тема 5. Модели анализа, проектирования и реализации

Диаграммы состояний

В этом состоянии находится объект по умолчанию в начальный момент времени. Оно служит для указания на диаграмме состояний графической области, от которой начинается процесс изменения состояний.

Тема 5. Модели анализа, проектирования и реализации

Диаграммы состояний

Тема 5. Модели анализа, проектирования и реализации

Диаграммы состояний

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

Переход осуществляется при наступлении некоторого события: окончания выполнения деятельности, получении объектом сообщения или приемом сигнала.

Тема 5. Модели анализа, проектирования и реализации

Диаграммы состояний

Переход называется триггерным, если его специфицирует событие- триггер, связанное с внешними условиями по отношению к рассматриваемому состоянию.

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

Тема 5. Модели анализа, проектирования и реализации

Диаграммы состояний

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

Сторожевое условие (guard condition) ̶ логическое условие, записанное в прямых скобках и представляющее собой булевое выражение, должно принимать одно из двух взаимно исключающих значений: «истина» или «ложь».

Объект перейдет из одного состояния в другое в том случае, если произошло указанное событие и сторожевое условие приняло значение «истина»