Личный кабинет
Подробное описание документа
Девятков В. В.
Принципы полной и корректной трансформации синхронизируемых моделей / Девятков В. В., Ошкало Д. В. - DOI 10.18698/0236-3933-2015-3-79-91 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2015. - № 3. -
Предложена методика полной и корректной трансформации моделей для решения задачи их синхронизации. В ее основе лежит стратегия построения полного и корректного набора правил трансформации, обеспечивающих выполнение критериев корректности и полноты путем анализа синтаксической и семантической структуры метамоделей с использованием аппарата графовых грамматик. Рассмотрены применяемые в настоящее время подходы для создания правил трансформации моделей, показаны их недостатки, влияющие на результат трансформации, выявлена связь между корректностью метамоделей правилами трансформации, а также полнотой и корректностью процесса трансформации. Предлагаемая методика не только позволяет автоматически создавать указанный набор правил трансформации моделей, но также определять порядок порождения правил. Приведены принципы доказательства этого основополагающего результата.
