Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization

  • Zinovy Diskin
  • Arif Wider
  • Hamid Gholizadeh
  • Krzysztof Czarnecki
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8568)


A pipeline of unidirectional model transformations is a wellunderstood architecture for model driven engineering tasks such as model compilation or view extraction. However, modern applications require a shift towards networks of models related in various ways, whose synchronization often needs to be incremental and bidirectional. This new situation demands new features from transformation tools and a solid semantic foundation. We address the latter by presenting a taxonomy of model synchronization types, organized into a 3D-space. Each point in the space refers to its set of synchronization requirements and a corresponding algebraic structure modeling the intended semantics. The space aims to help with identifying and communicating the right tool and theory for the synchronization problem at hand. It also intends to guide future theoretical and tool research.


Model Transformation Model Drive Architecture Model Drive Architecture Bidirectional Transformation Model Synchronization 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Antkiewicz, M., Czarnecki, K.: Design Space of Heterogeneous Synchronization. In: Lämmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering II. LNCS, vol. 5235, pp. 3–46. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  2. 2.
    Diskin, Z., Gholizadeh, H., Wider, A., Czarnecki, K.: A Three-Dimensional Taxonomy for Bidirectional Transformation and Synchronization. Journal of Systems and Software – Special Issue on Models and Evolution (submitted, 2014)Google Scholar
  3. 3.
    Diskin, Z., Xiong, Y., Czarnecki, K.: From State- to Delta-Based Bidirectional Model Transformations: The Asymmetric Case. Journal of Object Technology 10(6), 1–25 (2011)Google Scholar
  4. 4.
    Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 304–318. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  5. 5.
    Foster, J.N., Greenwald, M., Moore, J., Pierce, B., Schmitt, A.: Combinators for Bidirectional Tree Transformations: A Linguistic Approach to the View-Update Problem. ACM Trans. Program. Lang. Syst. 29(3) (2007)Google Scholar
  6. 6.
    Giese, H., Wagner, R.: From Model Transformation to Incremental Bidirectional Model Synchronization. Software and Systems Modeling 8, 21–43 (2009)CrossRefGoogle Scholar
  7. 7.
    Golas, U., Lambers, L., Ehrig, H., Giese, H.: Toward bridging the gap between formal foundations and current practice for triple graph grammars: Flexible relations between source and target elements. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 141–155. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  8. 8.
    Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of model synchronization based on triple graph grammars. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 668–682. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  9. 9.
    Hidaka, S., Hu, Z., Inaba, K., Kato, H., Nakano, K.: GRoundTram: An Integrated Framework for Developing Well-behaved Bidirectional Model Transformations. In: ASE 2011, pp. 480–483. IEEE (2011)Google Scholar
  10. 10.
    Hofmann, M., Pierce, B., Wagner, D.: Symmetric Lenses. In: POPL (2011)Google Scholar
  11. 11.
    Orejas, F., Boronat, A., Ehrig, H., Hermann, F., Schölzel, H.: On Propagation-Based Concurrent Model Synchronization. In: Proc. of the 2nd Int’l Workshop on Bidirectional Transformations (BX 2013). EC-EASST, vol. 57, EASST (2013)Google Scholar
  12. 12.
    Schürr, A., Klar, F.: 15 Years of Triple Graph Grammars. In: ICGT, pp. 411–425 (2008)Google Scholar
  13. 13.
    Soley, R., et al.: Model Driven Architecture. OMG White Paper (2000)Google Scholar
  14. 14.
    Stevens, P.: Bidirectional model transformations in QVT: Semantic Issues and Open Questions. Software and System Modeling 9(1), 7–20 (2010)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Zinovy Diskin
    • 1
    • 2
  • Arif Wider
    • 3
    • 4
  • Hamid Gholizadeh
    • 2
  • Krzysztof Czarnecki
    • 1
  1. 1.University of WaterlooCanada
  2. 2.McMaster UniversityCanada
  3. 3.Humboldt-Universität zu BerlinGermany
  4. 4.Beuth Hochschule für Technik BerlinGermany

Personalised recommendations