Диаграммы потоков данных (DFD)

State Transition Diagram (STD) — диаграммы переходов состояний. Моделируют поведение системы во времени в зависимости от произошедших событий. Позволяют осуществить декомпозицию управляющих процессов, происходящих в системе и описать отношение между управляющими потоками. С формальной точки зрения, диаграммы переходов состояний описывают некоторый конечный автомат. К основным элементам диаграммы перехода состояний относятся:

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

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

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

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

Применяется два способа построения ST-диаграммы. Первый способ заключа-ется в идентификации всех возможных состояний и дальнейшем исследо-вании всех не бессмысленных связей (переходов) между ними. По второ-му способу сначала строится начальное состояние, затем следующие за ним и т. д. В результате формируется предварительная диаграмма перехода состояний, для которой необходимо выполнить контроль состоятельности. Обычно он заключается в отве-те на следующие вопросы;

все ли состояния определены и имеют уникальное имя?

все ли состояния достижимы?

все ли состояния имеют выход?

реагирует ли система соответствующим об-разом на все возможные условия (особенно на ненормальные)?

все ли входные (выходные) потоки управляющего процесса отражены в условиях диаграммы?

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