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

Предложена методика полной и корректной трансформации моделей для решения задачи их синхронизации. В ее основе лежит стратегия построения полного и корректного набора правил трансформации, обеспечивающих выполнение критериев корректности и полноты путем анализа синтаксической и семантической структуры метамоделей с использованием аппарата графовых грамматик. Рассмотрены применяемые в настоящее время подходы для создания правил трансформации моделей, показаны их недостатки, влияющие на результат трансформации, выявлена связь между корректностью метамоделей правилами трансформации, а также полнотой и корректностью процесса трансформации. Предлагаемая методика не только позволяет автоматически создавать указанный набор правил трансформации моделей, но также определять порядок порождения правил. Приведены принципы доказательства этого основополагающего результата.

Литература

[1] Den Haan Johan. 15 reasons why you should start using Model Driven Development. Available at: http://www.theenterprisearchitect.eu/archive/2009/11/25/15-reasons-why-you-should-start-using-model-driven-development (accessed: 20.01.2015).

[2] Девятков В.В., Ошкало Д.В. Разработка процессов синхронизации моделей и принципов проверки их корректности // Инженерный журнал: наука и инновации. 2013. Вып. 11. URL: http://engjournal.ru/catalog/it/hidden/1052.html

[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.

[7] Stevens P. A landscape of bidirectional model transformations // In Generative and Transformational Techniques in Software Engineering II, International Summer School (GTTSE 2007). Springer, 2008. Vol. 5235. P. 408-424.

[8] Antkiewicz M., Czarnecki K. Design space of heterogeneous synchronization // In Generative and Transformational Techniques in Software Engineering (GTTSE 2007). Springer, 2008. Vol. 5235. P. 3-46.

[9] Ehrig H., Ehrig K., de Lara J. Termination criteria for model transformation // International Conference on Fundamental Approaches to Software Engineering (FASE 2005). Springer, 2005. Vol. 3442. P. 49-63.

[10] Habel A., Muller J., Plump D. Double push-out approach with injective matching // Springer. 2000. Vol. 1764. P. 103-117.

[11] Unified Modeling Language. URL: http://www.uml.org (дата обращения: 20.01.2015).

[12] Eclipse Modeling Framework. URL: http://eclipse.org/modeling/emf (дата обращения: 20.01.2015).

[13] Meta-Object Facility. URL: http://www.omg.org/mof (дата обращения: 20.01.2015).

[14] Галкина В.А. Дискретная математика: комбинаторная оптимизация на графах. М.: Гелиос АРВ, 2003. 232 с.