НАО «ЮРИНФОР»

Совместность мультимоделей

         При разработке программного обеспечения часто возникает целый ряд неоднородных моделей, каждая из которых соответствует какому-либо конкретному взгляду на систему. Для определения этих моделей могут применяться необязательно одинаковые метамодели. Множество таких моделей составляет мультимодель, а составляющие его элементы считаются частичными или локальными моделями. Поскольку частичные модели обычно перекрываются, то относительно набора глобальных ограничений они могут быть совместны или несовместны. Предлагается среда для определения возможного перекрытия частичных моделей и, исходя из этого, установления их глобальной совместности. Преимущество среды состоит в том, что проверка совместности неоднородных моделей осуществляется без необходимости слияния частичных метамоделей в одну глобальную метамодель. Это достигается обобщением проверки совместности, аналогичной случаю однородных моделей. Семантические средства основываются на теории категорий.