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