Введение
Глава первая. Формализация понятийной деятельности в ООАП. 13
1.1 Формирование нормативных проектных решений в разработках АС 13
1.2 Тематический обзор методов и средств формализации проектных документов 29
1.2.1 Системы управления проектированием АС 29
1.2.2 Средства автоматизированного анализа требований 33
1.2.3 Языки формальных спецификаций и средства их обработки 37
1.2.3.1 Языки формальных спецификаций алгебраической семантики 40
1.2.3.2 Языки формальных спецификаций моделеориентированной семантики 44
1.2.3.3 Графические языки проектирования САПР 46
1.2.3.4 Языки исполнимых спецификаций 47
1.3 Семантические представления принимаемых решений средствами языка предикатов первого порядка 50
1.3.1 Вопросно-ответное моделирование рассуждений 50
1.3.2 Место формализации в QA-подходе к проектной деятельности 53
1.4 Задача исследований и разработок системы средств оперативной формализации проектных решений... 59
1.4.1 Обобщённая формулировка задачи исследований 59
1.4.2 Вопросно-ответный анализ задачи исследований 60
1.5 Выводы по ПЕРВОЙ ГЛАВЕ 69
Глава 2. Прологоподобная формализация в концептуальном проектировании. 71
2.1 Модели предложений естественно-профессионального языка 71
2.1.1 Модели предложений русского языка 75
2.1.2 Модели предложений английского языка 84
2.2 Язык прологоподобной формализации 95
2.3 Выводы по ВТОРОЙ ГЛАВЕ 100
Глава третья. Методики решения зада ч опера тивной формализации 102
3.1 Место оперативной формализации в QA-процессе концептуального проектирования .102
3.1.1 Концептуальные модели 102
3.1.2 Вопросно-ответные модели 104
3.1.3 Операционная обстановка рабочего словаря 109
3.1.4 Динамика процессов сборки 113
3.2 Задачи оперативной формализации проектных решений 117
3.2.1 Структуризация действий 117
3.2.2 Распознавание переводных соответствий 121
3.2.3 Задача преобразования многосоставных сложных предложений 126
3.2.3.1 Конструкции с однотипной синтаксической связью 127
3.2.3.2 Конструкции с комбинированной синтаксической связью 128
3.3 Методики «Рабочего Словаря» 129
3.4 Методики «Логического Процессора» 138
3.5 Оценка повышения степени обнаружения ошибок 142
3.6 Выводы по третьей главе 145
ГЛАВА 4. Комплекс средств оперативной формализации 147
4.1 Подсистема «Рабочий Словарь» 147
4.1.1 Описание логической структуры. Алгоритмы программы 147
4.2 Программная реализация компонента «Рабочий Словарь» 153
4.2.1 Состав программного комплекса 153
4.2.2 Интерфейс пользователя 155
4.2.3 Диаграммы классов 161
4.2.4 Структура базы данных «Рабочего Словаря» 163
4.3 Логическая структура «Логического Процессора» 165
4.3.1 Запуск «Логического процессора» из «Рабочего Словаря» 165
4.3.2 Структура программных модулей «Логического процессора» 165
4.3.3 Описание таблиц базы данных Логического Процессора 166
4.3.4 Основные этапы построения формулы сложного предложения 166
4.3.4.1 Разбор сложного предложения на пары главных и зависимых предложений 166
4.3.4.2 Выявление типов логических связен между простыми предложениями в парах 168
4.3.4.3 Выбор шаблона формулы логики предикатов для пары 168
4.3.4.4 Составление обобщенной формулы на языке логики предикатов для сложного предложения 169 4.3 Интерфейс пользователя 169
4.5 Выводы по ЧЕТВЕРТОЙ ГЛАВЕ 173
Заключение... . 175
Список литературы
