Для моделирования и документирования реакций на события и функционирования системы в режиме реального времени используются спецификации управления, например, диаграммы переходов состояний (STD).

Прежде, чем переходят к заданию спецификации управления, диаграммы потоков данных (DFD) дополняют управляющими компонентами.

Необходимо отделять управляющие структуры от обрабатывающих структур (т.е. процессов), локализовать управляющие структуры.