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