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