Диаграммыпереходов состояний Диаграммы переходов состояний (STD) предназначены для моделирования и документирования реакций системы при ее функционировании во времени.
STD позволяют осуществлять декомпозицию управляющих процессов в системе. STD описывают отношения между входными и выходными управляющими потоками на управляющем процессе. STD моделируют последующее функционирование системы на основе ее предыдущего и настоящего функционирования.
Объекты STD Состояние - условие устойчивости для системы: способность системы сохранять свои функции без их произвольного изменения. Имя состояния- отражает реальную ситуацию, в которой находится система.
Цель - определяет будущее состояние по прошлому и текущему.
Переход - определяет перемещение системы из одного состояния в другое. Имя перехода- идентифицирует события, которые являются причиной перехода.
Событие - состоит из какого-либо управляющего потока (внешнего, внутреннего) и происходит при выполнении некоторого условия. При этом следует отметить:
Не все события вызывают переходы.
События не всегда вызывают переходы.
События не всегда вызывают переход в одно и то же состояние.
Условие - событие, вызывающее переход и названое именем перехода.
С переходом из одного состояния в другое может связываться действие или совокупность действий.
Действие при переходе - операция, которая выполняется при переходе. Действие может быть или физическим, или управляющим потоком.
Пример STD диаграммы для работы банкомата приведен на рисунке 1.
На диаграмме элементы нотации обозначаются следующим образом:
- состояния – как узлы (например, Ожидание);
- переходы – как дуги (например, Корректный пароль);
- условия - идентифицируются именем перехода (например, Корректный пароль);
- действия - отклики на события, которые "привязываются" к переходам, записываются под условием (например, Обеспечить требуемый сервис).
STD имеет только одно начальное состояние. Но система может иметь большое количество завершающих состояний.
Рисунок 1 - Диаграмма переходов состояний (STD) для банкомата
