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