Расширение реального времени DFD

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

Управляющий поток. Представляет собой интерфейс между DFD и спецификациями управления, собственно моделирующими и документирующими аспекты реального времешг Его имя указывает на тип управляющей деятельности, вырабатываемой спецификацией. Фактически управляющий процесс представляет собой преобразователь входных управляющих потоков в выходные управляющие потоки; при этом точное описание этого преооразовашгя должно задаваться в спецификации преобразования.

Управляющее хранилище. Представляет собой "срез" управляющего потока во времени. Содержащаяся в нем управляющая информация может использоваться в люоое время после занесения ее в хранилище, при этом соответствующие данные могут быть использованы в произвольном порядке. Имя управляющего хранилища должно идентифицировать его содержимое и быть существительным. Управляющее хранилище отличается от традиционного тем, что может содержать только управляющие потоки; все другие их характеристики идентичны.

Управляющий поток» Представляет собой "трубопровод", через который проходит управляющая информация. Его имя не должно содержать глаголов, а только существительные и прилагательные. Обычно управляющий поток имеет дискретное, а не непрерывное значение. Это может быть, например, сигнал, представляющий состояние или вид операции.

Логически управляющий процесс есть некий командный пункт, реагирующий на изменение внешних условий, передаваемые с помощью управляющих потоков, и продуцирующий в соответствии со всей внутренней логикой вьшолняемые процессами команды. При этом режим выполнения процесса зависит от типа управляющего потока. Имеются следующие типы управляющих потоков:

а) Т-поток (trigger flow). Является потоком управления процессом, который может вызвать выполнение процесса. При этом процесс как бы включается одной короткой операцией. Это аналог выключателя света, единственным нажатием которого "запускается" процесс горения лампы.

б) А-поток (activator flow). Является потоком управления процессом, который может изменять выполнение отдельного процесса. Используется для обеспечения непрерывности выполнения процесса до тех пор, пока поток "включен" (т.е. течет непрерывно), с "выключением" потока выполнение процесса завершается. Это - аналог переключателя лампы, которая может быть как включена, так и выключена.

в) E/D-поток (enable/disable flow). Является потоком управления процессом, который может переключать выполнение отдельного процесса. Течение по Е-линии тех пор, пока не возбуждается течение по D-линии. Это аналог выключателя с двумя кнопками: одной - для включения света, другой - для его выключения. Отметим, что можно использовать три вида таких потоков: Е-поток, D-поток, E/D-поток.