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

УДК 004.89, 004.9 А.А. Зуенко, А.Я. Фридман УПРАВЛЕНИЕ ОГРАНИЧЕНИЯМИ В СИСТЕМАХ КОНЦЕПТУАЛЬНОГО МОДЕЛИРОВАНИЯ: ИМЕЮЩИЙСЯ ЗАДЕЛ И ПЕРСПЕКТИВЫ* Аннотация В статье рассматривается проблема интеллектуализации баз данных в системах моделирования на основе открытой концептуальной модели и предлагается контекстно-ориентированный подход к ее решению. Приводится классификация вычислительных моделей. Основное внимание уделено перспективным направлениям исследований, таким как динамический синтез ограничений в процессе имитации и разработка математического аппарата для унификации обработки данных и знаний. Ключевые слова: концептуальное моделирование, контекстно-ориентированный подход, динамический синтез ограничений. A.A. Zuenko, A.Ya. Fridman CONTROL OVER CONSTRAINTS IN CONCEPTUAL SIMULATION SYSTEMS: STOCK AND PROSPECTS Abstract The paper considers a context management technique tailored for the problem of creation of intelligent DB interface in simulation systems based upon an open conceptual subject domain model. A classification of computing models is given. We focus on perspective directions of researches such as dynamic synthesis of constraints during simulation and working out a mathematical apparatus for unification of data and knowledge processing. Keywords: conceptual simulation, context management technique, dynamic synthesis of constraints. Введение Тематике концептуального моделирования процессов различной природы посвящено много публикаций (например, [1, 2]). Системы концептуального моделирования изначально использовались для проектирования программных комплексов, затем область их применения пополнилась исследованиями природно-технических объектов. Основная цель создания подобных программных систем состоит в автоматизации всех этапов работы с моделью предметной области (МПО). Здесь термин МПО означает обобщенную вычислительную модель, называемую концептуальной МПО (КМПО). Кратко поясним отличие КМПО от простых вычислительных моделей. "Работа выполнена при финансовой поддержке РФФИ (проект № 09-07-00066, № 11-08-00641-а), ОНИТ РАН (проект 2.3 в рамках текущей Программы фундаментальных научных исследований) и Президиума РАН (проект 4.3 Программы № 15). 120