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

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

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

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

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