Организация управления сетями хранения и обработки данных на основе непосредственной интерпретации логико-алгебраических спецификаций

сети хранения обработка данных логико-алгебраические спецификации хранение данных распределенные процессы сети абстрактных машин поведенческие модели расширенные сети абстрактных машин запоминающие устройства ресурсы Генриха-Глэссера Генриха-Глэссера ресурсы сетевые программы распределенные сетевые программы внешние запоминающие устройства распределенные поведенческие модели

Расчет статической характеристики гидравлического измерительного преобразователя вращающего момента, Использование температурного поля в качестве управляющего фактора для снижения остаточных напряжений в намоточной конструкции из армированного реактопласта, ...

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

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт