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