изучены корректности процессов синхронизации и трансформации
моделей. Однако среди критериев, влияющих на корректность этих
процессов, можно выделить такие, которые характеризуют связь пра-
вил трансформации с обрабатываемыми моделями.
Один из таких критериев — полнота, заключающаяся в том, что
любое допустимое изменение в модели должно быть обработано при
синхронизации, т.е. набор правил трансформации должен быть соста-
влен так, чтобы в процессе работы с моделями не возникало ситуации,
когда внесенное в одну из моделей изменение не может быть перене-
сено в другие связанные модели.
Другой критерий — корректность структуры обрабатываемых мо-
делей, т.е. их метамоделей, необходимая для гарантии возможности
трансформации экземпляров этих метамоделей. Понятие корректно-
сти метамоделей будет раскрыто далее.
Выполнение указанных критериев должно быть заложено при раз-
работке набора правил трансформации моделей, однако применяемые
подходы [3, 5] в значительной степени базируются на интуитивных и
эмпирических приемах обеспечения полноты и корректности набора
правил. В связи с этим их использование сопряжено с определенным
риском, так как нельзя гарантированно получить набор правил для
корректной синхронизации произвольных моделей.
Следовательно, возникает проблема построения набора правил,
удовлетворяющего требованию полноты и обеспечивающего коррект-
ную трансформацию моделей. Наличие такого набора и алгоритма
проверки метамоделей позволит решить еще одну задачу, направлен-
ную на обеспечение корректной трансформации — выполнение не-
явной проверки модели при ее трансформации, если набор правил
позволяет отображать все возможные структуры, описываемые мета-
моделью, а сама метамодель при этом корректна, ошибки при транс-
формации модели будут указывать на некорректность данной модели,
т.е. она не является экземпляром метамодели.
В предложенной работе рассмотрены методики разработки проце-
дур синхронизации моделей, основанные на использовании аппарата
графовых грамматик [3], так как в настоящее время программные сред-
ства для проектирования трансформаций моделей, использующие этот
подход, а также его теоретический базис и возможности его практи-
ческого применения являются наиболее проработанными. Однако, как
будет показано далее, такие подходы обладают недостатками, оказы-
вающими существенное влияние на качество процесса разработки.
Постановка задачи синхронизации графовых моделей на ба-
зе одной метамодели.
Введем следующие обозначения. Любую гра-
фовую модель будем описывать шестеркой
G
= (
V, E, s, t, l, m
)
[10].
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 3 81