С. А. Зинкин
САМОМОДИФИЦИРУЕМЫЕ СЦЕНАРНЫЕ МОДЕЛИ
ФУНКЦИОНИРОВАНИЯ СИСТЕМ И СЕТЕЙ ХРАНЕНИЯ
И ОБРАБОТКИ ДАННЫХ (БАЗОВЫЙ ФОРМАЛИЗМ
И ТЕМПОРАЛЬНЫЕ ОПЕРАЦИИ)
На основе введенного определения самомодифицируемого сценария как
активной семантической сети, представленной суперпозициями концептуальных
графов, рассматривается алгебраический подход к конструированию сложных
иерархических эволюционирующих сценарных сетей. <...> Принятая парадигма взаимодействия процессов соответствует согласованному использованию информационных объектов, представленных сигнатурой многоосновной алгебраической системы. <...> Структурные и логические связи между понятиями предметной
области представляются сигнатурой и формулами в этой сигнатуре. <...> Сигнатура
представляет декларативные знания, сценарии – процедурные знания о предметной области. <...> Распределенные объекты, взаимодействующие посредством передачи сообщений через сеть передачи данных либо через разделяемую информационную среду, определяют важную парадигму, широко
используемую при проектировании распределенных систем. <...> В этой
связи возрастает интерес к формальным моделям и базирующимся на них
методам и средствам представления причинно-следственных (каузальных) и
декларативных знаний об архитектуре и функционировании систем и сетей
обработки данных. <...> Предлагаемый в настоящей работе формализм активных
семантических сетей (близких к сценарным моделям в [2, 3]) основан на алгебре концептуальных графов (понятие концептуального графа определено в
работе [4]). <...> Темпоральные операции над событиями (подсценариями) мы
включаем в систему операций подобно тому, как это определено в системах
алгоритмических алгебр [5]. <...> При программной и аппаратной реализации активных семантических
сетей (АСеС) темпоральные отношения и соответствующие им операции рассматриваются как результаты причинно-следственных (каузальных) отношений и операций. <...> В предлагаемой нами модели <...>