Введение
Глава 1. Анализ применения информационного моделирования и верификации его результатов в архитектурно-строительном проектировании 12
1.1 Анализ применения информационного моделирования в архитектурно строительном проектировании 12
1.2 Особенности проведения экспертизы проектной документации в Российской Федерации 18
1.3 Анализ международного опыта верификации информационных моделей строительных объектов 22
1.4 Повышение качества проектной документации за счет верификации информационных моделей строительных объектов на основе языка моделирования правил 46
1.5 Выводы по главе 1 51
Глава 2. Методологические основы верификации информационных моделей строительных объектов на основе языка моделирования правил 55
2.1 Методология представления и обмена данными информационных моделей, используемая для проведения верификации 55
2.2 Методологические основы представления и обмена требованиями к информационным моделям 61
2.3 Выводы по главе 2 79
Глава 3. Верификация информационных моделей строительных объектов на основе языка моделирования правил 80
3.1 Разработка классификации проверок информационных моделей строительных объектов 80
3.2 Алгоритм формирования правил верификации информационных моделей строительных объектов на основе языка моделирования правил 86
3.3 Методика верификации информационных моделей строительных объектов на основе языка моделирования правил 96
3.4 Выводы по главе 3 103
Глава 4. Практика верификации информационных моделей строительных объектов на основе языка моделирования правил 105
4.1 Практическая апробация методики верификации информационных моделей строительных объектов на основе языка моделирования правил 105
4.2 Перспективные направления дальнейших исследований 117
4.3 Выводы по главе 4 117
Заключение 121
Список сокращений и условных обозначений 125
Словарь терминов 126
Список литературы 127
