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