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

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

Методика обеспечения тепловой контролепригодности радиотехнических устройств на этапе проектирования, Автоматизированный синтез оптимальных свойств упругих элементов подвески автотранспортного средства, ...

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

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