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

12 / 13

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: (дата обращения:
20.01.2015).
12. Eclipse Modeling Framework. URL: (дата обраще-
ния: 20.01.2015).
13. Meta-Object Facility. URL: (дата обращения: 20.01.2015).
14. Галкина В.А. Дискретная математика: комбинаторная оптимизация на графах.
М.: Гелиос АРВ, 2003. 232 с.
REFERENCES
[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] Devyatkov V.V., Oshkalo D.V. Development of model synchronization processes
and principles of their verification. Jelektr. nauchno-tehn. Izd. “Inzhenernyy zhurnal:
nauka i innovacii” [El. Sc.-Techn. Publ. “Eng. J.: Science and Innovation”], 2013,
iss. 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, pp. 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, pp. 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, pp. 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, pp. 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, pp. 49–63.
[10] Habel A., Muller J., Plump D. Double push-out approach with injective matching.
Springer, 2000, vol. 1764, pp. 103–117.
[11] Unified Modeling Language. URL: (accessed: 20.01.2015).
[12] Eclipse Modeling Framework. URL: (accessed:
20.01.2015).
90 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 3