Delist.ru

Разработка научно-методического аппарата анализа функциональной стабильности критичных информационных систем (30.08.2007)

Автор: Сундеев Павел Викторович

Графическая МК-модель архитектуры

Оценка ФС архитектуры КИС с формальным доказательством корректности результатов

ri , fx

sz , qj

ОБРАБОТКА МОДЕЛЕЙ НА СИНТАКСИЧЕСКОМ УРОВНЕ

ОБРАБОТКА МОДЕЛЕЙ НА ФИЗИЧЕСКОМ УРОВНЕ

УПРАВЛЕНИЕ ОБРАБОТКОЙ ДАННЫХ (СЕМАНТИЧЕСКИЙ УРОВЕНЬ ИПОД)

Механизмы физической обработки моделей

МОДУЛЬНАЯ ДЕКОМПОЗИЦИЯ СИСТЕМЫ

структурная модель

анализируют

Увеличение n

Теорема доказана

Порождение Qn дизъюнктов

Языки описания моделей

Команды на обработку моделей

Команды на обработку моделей

Синтаксические модели исполнительной подсистемы обработки данных

Физические модели системы и внешней среды

Модель системы с новыми свойствами

Механизмы управления обработкой данных

Свойства внешней среды

Свойства системы

Синтаксические модели системы и внешней среды

Ресурсы управления

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

Исполнительная подсистема обработки данных

Исполнительные алгоритмы обработки данных

Начальное состояние системы

I. Моделирование отношений одного участка без разделения на уровни

обеспечивают

содержит

Матричная и логическая МК-модель информационной архитектуры

содержит

Стратификация требований к функционально стабильным КИС

использует

Концептуальная модель функционально стабильной информационной архитектуры

обеспечивает

определяет

выделяет

загрузка...