РУсскоязычный Архив Электронных СТатей периодических изданий
Известия высших учебных заведений. Поволжский регион. Технические науки/2012/№ 2/
В наличии за
40 руб.
Купить
Облако ключевых слов*
* - вычисляется автоматически
Недавно смотрели:

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

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

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

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