Skip to main content
SpringerLink
Log in

Algebraic Models for Bidirectional Model Synchronization

  • Conference paper
Model Driven Engineering Languages and Systems (MODELS 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5301))

Abstract

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.

Supported by Bell Canada through the Bell University Labs, by the Ontario Centres of Excellence and partially by the Ontario Research Fund (through Model-Integrated Software Service Engineering project).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 149.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Antkiewicz, M., Czarnecki, K.: Design space of heterogeneous synchronization. In: Generative and Transformational Techniques in Software Engineering (2008)

    Google Scholar 

  2. Bancilhon, F., Spyratos, N.: Update semantics of relational views. TODS 6(4), 557–575 (1981)

    Article  MATH  Google Scholar 

  3. Bohannon, A., Pierce, B., Vaughan, J.: Relational lenses: a language for updatable views. In: PODS (2006)

    Google Scholar 

  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. Dayal, U., Bernstein, P.: On the correct translation of update operations on relational views. TODS 7(3), 381–416 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  6. Diskin, Z.: Algebra of bidirectional model synchronization. Technical Report CSRG-573, Department of Compuitng Science, University of Toronto (2008), ftp://ftp.cs.toronto.edu/pub/reports/csrg/573/TR-CSRG-573.pdf

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

    Chapter  Google Scholar 

  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. Gottlob, G., Paolini, P., Zicari, R.: Properties and update semantics of consistent views. ACM TODS 13(4), 486–524 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  12. Königs, A., Schürr, A.: Tool integration with triple graph grammars - A survey. ENTCS 148(1), 113–150 (2006)

    Google Scholar 

  13. Meertens, L.: Designing constraint maintainers for user interaction (1998), http://www.kestrel.edu/home/people/meertens/

  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. OMG, MOF QVT Final Adopted Specification. Formal/05-11-01 (2005), http://www.omg.org/docs/ptc

  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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Toronto,  

    Zinovy Diskin

  2. Department of Electrical & Computer Engineering, University of Waterloo,  

    Zinovy Diskin

Authors
  1. Zinovy Diskin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Krzysztof Czarnecki Ileana Ober Jean-Michel Bruel Axel Uhl Markus Völter

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Diskin, Z. (2008). Algebraic Models for Bidirectional Model Synchronization . In: Czarnecki, K., Ober, I., Bruel, JM., Uhl, A., Völter, M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87875-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87875-9_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-87874-2

  • Online ISBN: 978-3-540-87875-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation