Принципы полной и корректной трансформации синхронизируемых моделей

11 / 13

— ForeignKey. При создании ему требуется ссылка на P rimaryKey,
поэтому правило, содержащее элемент ForeignKey, дополняем эле-
ментом P rimaryKey (рис. 4, ж). Наконец, по аналогии с элементами
P rimaryKey и Column добавляем еще одно правило (рис. 4, з). На
этом составление списка правил трансформации завершено.
Доказательство полноты стратегии. Согласно описанной страте-
гии множества правил трансформации, доказательство полноты осно-
вывается на следующих соображениях.
1. Создаются элементы всех типов, определяемых метамоделью.
2. В соответствии с семантикой языка UML для каждого элемента
формируются все возможные отношения.
3. Для создания правил трансформации рассматриваются все уров-
ни отношений в порядке, необходимом для их использования.
4. Создание правил трансформации осуществляется до тех пор,
пока все правила не будут созданы.
Заключение. Предложенные в статье принципы и алгоритмы
анализа структуры метамоделей и генерации на этой основе правил
трансформации позволяют существенно повысить эффективность раз-
работки систем синхронизации независимо от используемых моделей,
снижая временные затраты на тестирование. В отличие от известных
подходов, в значительной степени базирующихся на интуитивных и
эмпирических приемах обеспечения полноты и корректности транс-
формации, предложенная методика обеспечивает автоматическое по-
рождение полных и корректных правил трансформации. Дальнейшее
развитие предложенной методики позволит создать процедуру авто-
матической генерации систем синхронизации моделей для каждого
конкретного случая используемых моделей.
ЛИТЕРАТУРА
1. Den Haan Johan. 15 reasons why you should start using Model Driven Development.
Available at:
why-you-should-start-using-model-driven-development (accessed: 20.01.2015).
2. Девятков В.В., Ошкало Д.В. Разработка процессов синхронизации моделей и
принципов проверки их корректности // Инженерный журнал: наука и иннова-
ции. 2013. Вып. 11. URL:
3. Kindler E., Robert W. Triple Graph Grammars: concepts, extensions,
implementations, and application scenarios. Tech. Rep., no. tr-ri-07-284. Software
Engineering Group, Department of Computer Science, University of Paderborn, 2007.
4. Schurr A. Specification of graph translators with triple graph grammars. Graph-
Theoretic Concepts in Computer Science // 20th International Workshop. Herrsching,
Germany, 1994. Vol. 903. P. 151–163.
5. Biehl M. Literature study on model transformations. Tech. Rep., Royal Institute of
Technology, 2010.
6. Stevens P. Bidirectional model transformations in QVT: semantic issues and open
questions // In International Conference on Model Driven Engineering Languages
and Systems (MoDELS 2007). Springer, 2007. Vol. 4735. P. 1–15.
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 3 89