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

1 / 13

УДК 004.413
ПРИНЦИПЫ ПОЛНОЙ И КОРРЕКТНОЙ ТРАНСФОРМАЦИИ
СИНХРОНИЗИРУЕМЫХ МОДЕЛЕЙ
В.В. Девятков, Д.В. Ошкало
МГТУ им. Н.Э. Баумана, Москва, Российская Федерация
e-mail: ;
Предложена методика полной и корректной трансформации моделей для ре-
шения задачи их синхронизации. В ее основе лежит стратегия построения
полного и корректного набора правил трансформации, обеспечивающих выпол-
нение критериев корректности и полноты путем анализа синтаксической и
семантической структуры метамоделей с использованием аппарата графовых
грамматик. Рассмотрены применяемые в настоящее время подходы для созда-
ния правил трансформации моделей, показаны их недостатки, влияющие на
результат трансформации, выявлена связь между корректностью метамоде-
лей правилами трансформации, а также полнотой и корректностью процесса
трансформации. Предлагаемая методика не только позволяет автоматически
создавать указанный набор правил трансформации моделей, но также опреде-
лять порядок порождения правил. Приведены принципы доказательства этого
основополагающего результата.
Ключевые слова: трансформация моделей, синхронизация моделей, графовые
грамматики, UML, полнота и корректность трансформации моделей.
THE PRINCIPLES OF COMPLETE AND CORRECT TRANSFORMATION
OF THE SYNCHRONIZED MODELS
V.V. Devyatkov , D.V. Oshkalo
Bauman Moscow State Technical University, Moscow, Russian Federation
e-mail: ;
The article describes the method of complete and correct model transformation
within a model synchronization scenario. It is based on a strategy of producing a
complete and correct set of transformation rules, ensuring the completeness and
correctness criteria by analyzing a syntactic and semantic structure of meta-models
via graph grammar techniques. Currently used approaches to creating the model
transformation rules are considered. Their disadvantages which influence the result
of the model transformation process are demonstrated. Correlations between the
correctness of the meta-models and transformation rules as well as the completeness
and correctness of the transformation process are found. The proposed method allows
both creating a correct set of the model transformation rules automatically and
determining a sequence of this creation. The evidences of this fundamental result are
provided.
Keywords: model transformation, model synchronization, UML, graph grammars,
completeness and correctness of model transformation.
Введение. Ключевая особенность процесса разработки программ-
ного обеспечения, управляемого моделями, — использование мно-
жества формальных структурированных компонентов — моделей, на
основе которых путем применения алгоритмов генерации строятся
различные артефакты (программный код, конфигурационные файлы,
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 3 79