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