С. А. Зинкин
САМОМОДИФИЦИРУЕМЫЕ СЦЕНАРНЫЕ МОДЕЛИ
ФУНКЦИОНИРОВАНИЯ СИСТЕМ И СЕТЕЙ ХРАНЕНИЯ
И ОБРАБОТКИ ДАННЫХ (РЕАЛИЗАЦИЯ И СВОЙСТВА
СЦЕНАРНЫХ СЕТЕЙ)
Рассмотрены вопросы реализации временных сценарных сетей, на основе которых возможно построение имитационных моделей систем хранения и
обработки данных. <...> Исследованы свойства темпоральных операторов, на основе которых построена алгебра сценарных сетей. <...> Приведены примеры графического представления одноуровневых и иерархических сценариев. <...> Обычно согласующая часть распределенной системы поддерживает все взаимодействия между процессами и организует их
взаимную кооперацию [1]. <...> Рассматриваемая нами модель согласования основана на использовании основных метафор взаимодействия процессов, координирующих свою деятельность: прямого согласования, согласования при
встрече, согласования через почтовый ящик, организация генеративной связи <...> Любая метафора должна соответствовать тому или иному способу согласованного использования информационных объектов, представляющих сигнатуру многоосновной алгебраической системы. <...> Структурные и логические
связи между понятиями предметной области представляются сигнатурой и
формулами в этой сигнатуре. <...> Сценарии реализуются сетями абстрактных машин (СеАМ) [2], состоящих из модулей, объединенных каузальными (причинно-следственными) связями. <...> Временные сценарные модели
Для временных сетей сценариев расширим сигнатуру (следуя [3]) путем включения в нее 0-арных функций (счетного множества констант)
0 : → Time, 1: → Time, 2 : → Time, ..., t : → Time – объектов сорта Time
и следующих функций:
f plus : Time × Time → Time, <...> (4)
где f plus – функция, с помощью которой производится сложение натуральных чисел, измеряющих моменты времени; f le – двуместный предикат, за13
Известия высших учебных заведений. <...> Поволжский регион
дающий отношение «меньше или равно» между натуральными числами;
f begin и f end – функции начала и конца выполнения подсценария (события <...>