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

ориентированным графом (ОВМ-сетью), в котором выделены два типа вершин: объекты (данные) и функции. Дуги связывают объектные и функциональные вершины. Входящие в вершину-функцию дуги соотносят с ней объекты, которые выступают в качестве входных аргументов для функции, исходящие - указывают на объекты, в которые должна производиться запись вырабатываемых функцией результатов. Каждой объектной вершине сопоставляются тип и значение. С каждой функциональной вершиной соотнесены целое число, играющее роль приоритета, и тип. В рамках систем концептуального моделирования на основе типизации элементов модели исследуемого процесса разработаны процедуры проверки ее корректности (полнота, связность, разрешимость и т.д.). В результате, у пользователя появилась возможность оперативно по мере уточнения знаний вносить изменения в концептуальную модель исследуемого объекта или создавать модели различных объектов, а затем автоматически проверять их корректность. Однако в существовавших ранее системах концептуального моделирования все проверки корректности модели были жестко "зашиты" в специализированных программных процедурах, поэтому возникало несоответствие между “открытым” декларативным представлением модели предметной области, допускающим оперативную модификацию ее структуры и подключение новых элементов из вычислительной среды, и процедурным вводом ограничений в систему. При переходе от одной предметной области к другой отсутствовала возможность “наращивать” набор процедур проверки корректности модели. Все проверки относились скорее к особенностям самой системы моделирования, нежели были продиктованы спецификой предметной области. Другими словами, “жесткое” программирование ограничений, не допускающее их модификации в процессе моделирования, стало основным недостатком рассматриваемого класса программных систем. Далее кратко описывается подход, направленный на преодоление этих трудностей. 1. Контекстный подход к управлению ограничениями и его преимущества Для решения обозначенной проблемы авторами было предложено создать семантический интерфейс реляционных баз данных для систем моделирования слабо формализованных предметных областей. В результате исследований был разработан контекстно-ориентированный подход к управлению ограничениями в системах концептуального моделирования [8]. Согласно этому подходу в обработке данных моделирования участвуют следующие объекты: задача, прикладная программа (приложение), запрос приложения и база данных системы моделирования (БД СМ), предназначенная для хранения элементов концептуальной модели предметной области и результатов процесса имитации. Прототипом рассматриваемой контекстно-ориентированной технологии послужила технология управления контекстом, направленная на интеллектуальную поддержку принятия решений в открытой информационной среде [9]. Ее суть заключается в динамической интеграции контекстов объектов взаимодействия системы интеллектуальной поддержки принятия решений (пользователя, запроса пользователя, приложения и окружающей среды) в 122