Введение
Глава 1. Системный анализ жизненного цикла больших информационно-управляющих систем 12
1.1. Проблемы автоматизации управления большими объектами 12
1.2. Ограничения качества больших информационно-управляющих систем 17
1.3. Принципы рационального проектирования больших систем 25
1.4. Организация жизненного цикла больших информационно-управляющих систем 39
Глава 2. Теоретико-категорный подход к проектированию 51
2.1. Приемы комплексирования систем 51
2.2. Категории диаграмм и оптимизация архитектуры 54
2.3. Формальные технологии проектирования 66
2.4. Распараллеливание 80
2.5. Трансформации конфигураций 83
2.6. Синтез технологий конфигурирования 89
Глава 3. Алгебраические методы проектирования вычислительных систем 96
3.1 Отображение алгоритмов на архитектуру вычислительных систем 96
3.2 Частичная интерпретация арифметики 100
3.3 Полупримальные модели вычислений 105
3.4 Формальная технология проектирования вычислительных систем 112
3.5 Архитектура арифметики и логика Лукасевича 126
Глава 4. Аспектно-ориентированное расширение модульных технологий проектирования 134
4.1 Семантика аспектно-ориентированного подхода 134
4.2 Формальные технологии аспектно-ориентированного проектирования 142
4.3 Аспекты и связывание 153
4.4 Экспликация и модуляризация аспектов 160
4.5 Аспектно-ориентированный синтез технологий специфицирования 181
Глава 5. Теория и приложения формального моделирования 192
5.1 Синтез технологий проектирования 192
5.2 Формальный подход к моделированию данных 209
5.3 Формальный подход к моделированию сценариев исполнения процессов 214
5.4 Процессные модели архитектуры 223
5.5 Модели предметной области ТЭК 227
Заключение 253
Список сокращений и условных обозначений 255
Список литературы
