Algebraic Models for Bidirectional Model Synchronization

  • Zinovy Diskin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5301)


The paper presents several algebraic models for semantics of bidirectional model synchronization and transformation. Different patterns of model synchronization are analyzed (including view updates and incremental synchronization), and this analysis motivates the formal definitions. Relationships between the formal models are precisely specified and discussed. A new formal model of updates is proposed.


Model Transformation Algebraic Model Consistency Relation Synchronization System 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: Generative and Transformational Techniques in Software Engineering (2008)Google Scholar
  2. 2.
    Bancilhon, F., Spyratos, N.: Update semantics of relational views. TODS 6(4), 557–575 (1981)zbMATHCrossRefGoogle Scholar
  3. 3.
    Bohannon, A., Pierce, B., Vaughan, J.: Relational lenses: a language for updatable views. In: PODS (2006)Google Scholar
  4. 4.
    Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A manifesto for model merging. In: GaMMa 2006: Proc. Int. workshop on Global integrated model management. ACM Press, New York (2006)Google Scholar
  5. 5.
    Dayal, U., Bernstein, P.: On the correct translation of update operations on relational views. TODS 7(3), 381–416 (1982)zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Diskin, Z.: Algebra of bidirectional model synchronization. Technical Report CSRG-573, Department of Compuitng Science, University of Toronto (2008),
  7. 7.
    Diskin, Z., Diengel, J.: A metamodel independent framework for model transformation: Towards generic model management patterns in reverse engineering. In: Favre, J.-M., et al. (eds.) 3rd Int.Workshop on Metamodels, Schemas, Grammas and Ontologies for Reverse Engineering (2006)Google Scholar
  8. 8.
    Diskin, Z., Easterbrook, S., Dingel, J.: Engineering associations: from models to code and back through semantics. In: Paige, R., Meyer, B. (eds.) TOOLS Europe 2008. LNBIP 11, vol. 11. Springer, Heidelberg (2008)Google Scholar
  9. 9.
    Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information preserving bidirectional model transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 72–86. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  10. 10.
    Foster, J., Greenwald, M., Moore, J., Pierce, B., Schmitt, A.: Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. In: POPL, pp. 233–246 (2005)Google Scholar
  11. 11.
    Gottlob, G., Paolini, P., Zicari, R.: Properties and update semantics of consistent views. ACM TODS 13(4), 486–524 (1988)zbMATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Königs, A., Schürr, A.: Tool integration with triple graph grammars - A survey. ENTCS 148(1), 113–150 (2006)Google Scholar
  13. 13.
    Meertens, L.: Designing constraint maintainers for user interaction (1998),
  14. 14.
    Mu, S., Hu, Z., Takeichi, M.: An algebraic approach to bi-directional updating. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302. Springer, Heidelberg (2004)Google Scholar
  15. 15.
    OMG, MOF QVT Final Adopted Specification. Formal/05-11-01 (2005),
  16. 16.
    Stevens, P.: Bidirectional model transformation in QVT: Semantic issues and open questions. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735. Springer, Heidelberg (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Zinovy Diskin
    • 1
    • 2
  1. 1.Department of Computer ScienceUniversity of Toronto 
  2. 2.Department of Electrical & Computer EngineeringUniversity of Waterloo 

Personalised recommendations