Background Image
Previous Page  3 / 13 Next Page
Information
Show Menu
Previous Page 3 / 13 Next Page
Page Background

изучены корректности процессов синхронизации и трансформации

моделей. Однако среди критериев, влияющих на корректность этих

процессов, можно выделить такие, которые характеризуют связь пра-

вил трансформации с обрабатываемыми моделями.

Один из таких критериев — полнота, заключающаяся в том, что

любое допустимое изменение в модели должно быть обработано при

синхронизации, т.е. набор правил трансформации должен быть соста-

влен так, чтобы в процессе работы с моделями не возникало ситуации,

когда внесенное в одну из моделей изменение не может быть перене-

сено в другие связанные модели.

Другой критерий — корректность структуры обрабатываемых мо-

делей, т.е. их метамоделей, необходимая для гарантии возможности

трансформации экземпляров этих метамоделей. Понятие корректно-

сти метамоделей будет раскрыто далее.

Выполнение указанных критериев должно быть заложено при раз-

работке набора правил трансформации моделей, однако применяемые

подходы [3, 5] в значительной степени базируются на интуитивных и

эмпирических приемах обеспечения полноты и корректности набора

правил. В связи с этим их использование сопряжено с определенным

риском, так как нельзя гарантированно получить набор правил для

корректной синхронизации произвольных моделей.

Следовательно, возникает проблема построения набора правил,

удовлетворяющего требованию полноты и обеспечивающего коррект-

ную трансформацию моделей. Наличие такого набора и алгоритма

проверки метамоделей позволит решить еще одну задачу, направлен-

ную на обеспечение корректной трансформации — выполнение не-

явной проверки модели при ее трансформации, если набор правил

позволяет отображать все возможные структуры, описываемые мета-

моделью, а сама метамодель при этом корректна, ошибки при транс-

формации модели будут указывать на некорректность данной модели,

т.е. она не является экземпляром метамодели.

В предложенной работе рассмотрены методики разработки проце-

дур синхронизации моделей, основанные на использовании аппарата

графовых грамматик [3], так как в настоящее время программные сред-

ства для проектирования трансформаций моделей, использующие этот

подход, а также его теоретический базис и возможности его практи-

ческого применения являются наиболее проработанными. Однако, как

будет показано далее, такие подходы обладают недостатками, оказы-

вающими существенное влияние на качество процесса разработки.

Постановка задачи синхронизации графовых моделей на ба-

зе одной метамодели.

Введем следующие обозначения. Любую гра-

фовую модель будем описывать шестеркой

G

= (

V, E, s, t, l, m

)

[10].

ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 3 81