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