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

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
1. ОБЗОР И АНАЛИЗ ПРОБЛЕМ ПРОЕКТИРОВАНИЯ ПРОГРАММНЫХ СИСТЕМ УПРАВЛЕНИЯ.
1.1. Обзор технологий проектирования программных систем управления.
1.2. Задачи и проблемы моделирования при проектировании программных систем управления
1.3. Обзор и анализ методов моделирования бизнессистем и бизнеспроцессов
1.4. Анализ проблем визуального графоаналитического моделирования бизнеспроцессов управления
1.5. Постановка задачи диссертационного исследования
Выводы по первому разделу.
2. ВЫБОР СРЕДСТВ РЕШЕНИЯ ПОСТАВЛЕННЫХ ЗАДАЧ.
2.1. Обоснование выбора графоаналитической нотации для моделирования процессов управления.
2.2. Обоснование выбора математическог о аппарата для формального описания процессов.
2.3. Исследование и выбор аппарата для верификации моделей процессовЗЗ Выводы по второму разделу
3. ИССЛЕДОВАНИЕ И ФОРМАЛИЗАЦИЯ ВИЗУАЛЬНЫХ ГРАФОАНАЛИТИЧЕСКИХ МОДЕЛЕЙ ПРОЦЕССОВ УПРАВЛЕНИЯ
3.1. Адаптация алгебраического аппарата Г1Иисчисления для формализации графоаналитической УФОмодели процесса управления.
3.1.1. Формализация основных конструкций процесса управления
3.1.2. Алгебраический способ описания графоаналитических моделей процессов.
3.2. Разработка метода верификации формализованных моделей процессов управления
3.3. Разработка метода сокращения числа состояний формализованных моделей процессов управления
3.4. Разработка метода проверки эквивалентности формализованных моделей процессов управления
3.5. Разработка формализованного метода моделирования процессов
управления
Выводы по третьему разделу
4. АПРОБАЦИЯ ФОРМАЛИЗОВАННОГО МЕТОДА МОДЕЛИРОВАНИЯ И АНАЛИЗА ПРОЦЕССОВ УПРАВЛЕНИЯ
4.1. Применение форматизованного метода моделирования и анализа при проектировании системы управления наружным освещением.
4.2. Проектирование основных модулей системы управления наружным освещением
4.3. Анализ результатов применение формализованного метода моделирования процессов при проектировании системы управления
наружным освещением.
Выводы по четвертому разделу
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ