РУсскоязычный Архив Электронных СТатей периодических изданий
Известия высших учебных заведений. Поволжский регион. Технические науки/2012/№ 4/

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

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

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

Похожие документы: