Труды КНЦ вып.7 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып.2 4/2011(7))

контекст задачи, которая ставится пользователем, с последующим ее решением как задачи удовлетворения ограничений. Разработанный семантический интерфейс реляционной БД СМ контролирует корректность взаимодействия блоков модели, обеспечивая возможность отслеживать действия блоков модели над общими данными на основе анализа гибко модифицируемых и оперативно подгружаемых предметно­ ориентированных ограничений. Применение реляционных баз данных обусловливается необходимостью сопровождать открытую модель предметной области и обеспечивать точность реализации запросов, как в фактографических информационных системах. Под семантизацией БД в [8] понималось контекстно-ориентированное управление данными с учетом ограничений двух видов: ограничений системы моделирования и ограничений предметной области. С помощью предложенного контекстно-ориентированного подхода были решены задачи поддержки согласованности БД, анализа незапланированных запросов и контроля подключений программных модулей. Эти аспекты работы подробно освещены в [8, 10, 11]. Применение контекстно­ ориентированного подхода к обработке ограничений позволило объединить преимущества таких направлений, как обобщенные вычислительные модели и программирование в ограничениях (constraints programming), а также реализовать эти преимущества при автоматизации контроля корректности процесса моделирования. Перечислим некоторые достоинства контекстно-ориентированного управления ограничениями в системах концептуального моделирования. 1. Возможность активировать (отбирать) только те контекстные ограничения, которые актуальны для исследуемой в текущий момент модели предметной области. Это позволило гибко перенастраивать и оперативно анализировать как ограничения, общие для всего класса допустимых моделей, так и специфичные для конкретной предметной области. 2. На основе анализа контекстных ограничений на этапе построения обеспечивается более детальный контроль модели, в том числе состава и правильности подключения расчетных модулей. На этапе имитации путем анализа незапланированных запросов отслеживаются некорректные обращения к базе данных системы моделирования. 3. За счет декларативного представления ограничений ускорилась разработка и модификация инструментов контроля корректности по сравнению с непосредственным программированием ограничений. В настоящее время исследования проводятся по следующим двум направлениям: 1) динамический синтез контекста в зависимости от ситуации, складывающейся на реальном объекте и/или в процессе имитации; 2) создание математического аппарата для унификации представления и обработки данных и знаний. Рассмотрим их подробнее. 2. Перспективные направления дальнейших исследований Первое направление исследований. Основные отличия методов контекстно-ориентированного управления при решении задач поддержки принятия решений в системах концептуального моделирования от проблематики работы [9] таковы: 123