Совокупность значений атрибута “момент активизации” таблицы ТБВ составляет в любой момент модельного времени активное временное множество. ТУ Таблица Условий, структура которой приведена на рис.4.3. Каждая строка ТУ соответствует одному процессу и содержит следующие элементы описания будущего пассивного события: столбец 1 логическое условие активизации инициатора, определяемое предшествующим оператором И1; столбец 2 инициатор процесса; столбец 3 адрес подпрограммы пассивного события в треке данного процесса. 1 1 9 Структура таблицы ТУ -1-2-3условие логическое значение инициатора адрес очередной подпрограммы i t * • • •. • • •. Рис. 4.4. КАЛЕНДАРЬ определяет первое активное событие в новом КОС. Его алгоритм выглядит следующим образом: 1. Поиск минимального значения в столбце 1 ТБВ. Пусть это значение равно tk, где к номер строки ТБВ. 2. ВРЕМЯ := tk 3. ИНИЦИАТОР := <значение столбца 2 в ТБВ по строке к> 4. С := <значение столбца 3 в ТБВ по строке к > 5. Затирание к -ой строки ТБВ. 6. Передача управления по адресу, хранящемуся в С. |
Параметр ИНИЦИАТОР содержит значение текущего инициатора (ссылку на локальную среду процесса). КАЛЕНДАРЬ алгоритм, реализующий монотонно возрастающее продвижение модельного времени по формуле (2.14) и начало нового КОС в системе. АПУ алгоритм проверки условий, обеспечивающий построение КОС для текущего значения модельного времени. ТБВ Таблица Будущих Времен, структура которой приведена на рис.2.25. Каждая строка ТБВ соответствует одному процессу и содержит следующие элементы описания будущего активного события: столбец 1 значение момента времени активизации инициатора, определяемого предшествующим оператором И ; столбец 2 инициатор процесса; столбец 3 адрес подпрограммы активного события в треке данного процесса. 105 -1 -2 -3момент активизации значение инициатора адрес активной подпрограммы • * *. • • •. • • • Рис. 2.25. Структура таблицы ТБВ. Совокупность значений атрибута “момент активизации"’ таблицы ТБВ составляет в любой момент модельного времени активное временное множество. ТУ Таблица Условий, структура которой приведена на рис.2.26. Каждая строка ТУ соответствует одному процессу и содержит следующие элементы описания будущего пассивного события: столбец 1 логическое условие активизации инициатора, определяемое предшествующим оператором /?7; столбец 2 инициатор процесса; столбец 3 адрес подпрограммы пассивного события в треке данного процесса. 106 -1 -2 -3условие логическое значение инициатора адрес очередной подпрограммы • • • • • •. • • •. Рис. 2.26. Структура таблицы ТУ КАЛЕНДАРЬ определяет первое активное событие в новом КОС в соответствии с (2.14.). Его алгоритм выглядит следующим образом: 1. Поиск минимального значения в столбце 1 ТБВ. Пусть это значение равно tk, где к номер строки ТБВ. 2. ВРЕМЯ := tk 3 ИНИЦИАТОР := <значение столбца 2 в ТБВ по строке к> 4. С := <значение столбца 3 в ТБВ по строке к > 5. Затирание к -ой строки ТБВ. 6 . Передача управления по адресу, хранящемуся в С. Из алгоритма видно, что КАЛЕНДАРЬ ведет модельное время и инициирует выполнение активного события первого события в каждом КОС. АПУ генерирует пассивные события КОС и его алгоритм имеет следующий вид: |