Skip to main content
SpringerLink
Log in

From State- to Delta-Based Bidirectional Model Transformations

  • Conference paper
Theory and Practice of Model Transformations (ICMT 2010)

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

Abstract

Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of original and updated models, but alignment relationships between the models are not specified. In the paper we identify and discuss three major problems caused by this under-specification. We then propose a novel formal framework based on a graphical language: models are nodes and updates are arrows, and show how the three problems can be fixed.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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. Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3), 17 (2007)

    Article  Google Scholar 

  2. Bohannon, A., Foster, J.N., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: Resourceful lenses for string data. In: Proc. 35th POPL (2008)

    Google Scholar 

  3. Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: ASE, pp. 164–173 (2007)

    Google Scholar 

  4. Matsuda, K., Hu, Z., Nakano, K., Hamana, M., Takeichi, M.: Bidirectionalization transformation based on automatic derivation of view complement functions. In: ICFP, pp. 47–58 (2007)

    Google Scholar 

  5. Schürr, A., Klar, F.: 15 years of triple graph grammars. In: ICGT, pp. 411–425 (2008)

    Google Scholar 

  6. Object Management Group: MOF query / views / transformations specification 1.0 (2008), http://www.omg.org/docs/formal/08-04-03.pdf

  7. Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Software and System Modeling 9(1), 7–20 (2010)

    Article  Google Scholar 

  8. Diskin, Z.: Algebraic models for bidirectional model synchronization. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 21–36. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  9. Foster, J.N., Greenwald, M., Kirkegaard, C., Pierce, B., Schmitt, A.: Exploiting schemas in data synchronization. J. Comput. Syst. Sci. 73(4), 669–689 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  10. Antkiewicz, M., Czarnecki, K., Stephan, M.: Engineering of framework-specific modeling languages. IEEE Transactions on Software Engineering 99 (RapidPosts), 795–824 (2009)

    Article  Google Scholar 

  11. Alanen, M., Porres, I.: Difference and union of models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 2–17. Springer, Heidelberg (2003)

    Google Scholar 

  12. Xing, Z., Stroulia, E.: UMLDiff: an algorithm for object-oriented design differencing. In: ASE, pp. 54–65 (2005)

    Google Scholar 

  13. Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B., Garlan, D.: Differencing and merging of architectural views. In: ASE, pp. 47–58 (2006)

    Google Scholar 

  14. Mens, T.: A state-of-the-art survey on software merging. IEEE Trans. Software Eng. 28(5), 449–462 (2002)

    Article  Google Scholar 

  15. Diskin, Z., Czarnecki, K., Antkiewicz, M.: Model-versioning-in-the-large: Algebraic foundations and the tile notation. In: ICSE 2009 Workshop on Comparison and Versioning of Software Models, pp. 7–12 (2009), doi:10.1109/CVSM.2009.5071715

    Google Scholar 

  16. Johnson, M., Rosebrugh, R.: Constant complements, reversibility and universal view updates. In: Meseguer, J., Roşu, G. (eds.) AMAST 2008. LNCS, vol. 5140, pp. 238–252. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  17. Liefke, H., Davidson, S.: View maintenance for hierarchical semistructured data. In: Kambayashi, Y., Mohania, M., Tjoa, A.M. (eds.) DaWaK 2000. LNCS, vol. 1874, p. 114. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  18. Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling 8(1), 21–43 (2009)

    Article  Google Scholar 

  19. Ráth, I., Varró, G., Varró, D.: Change-driven model transformations. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 342–356. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  20. Amelunxen, C., Königs, A., Rötschke, T., Schürr, A.: MOFLON: A standard-compliant metamodeling framework with graph transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 361–375. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  21. Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Supporting parallel updates with bidirectional model transformations. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 213–228. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  22. Barbosa, D.M.J., Cretin, J., Foster, N., Greenberg, M., Pierce, B.C.: Matching lenses: Alignment and view update. Technical Report MS-CIS-10-01, University of Pennsylvania (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Generative Software Development Lab, University of Waterloo, Canada

    Zinovy Diskin, Yingfei Xiong & Krzysztof Czarnecki

Authors
  1. Zinovy Diskin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yingfei Xiong
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Krzysztof Czarnecki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Engineering and Information Sciences, The Burroughs, Middlesex University, NW4 4BT, London, United Kingdom

    Laurence Tratt

  2. Computer Science Department Database Systems Group, University of Bremen, D-28334, Bremen, Germany

    Martin Gogolla

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Diskin, Z., Xiong, Y., Czarnecki, K. (2010). From State- to Delta-Based Bidirectional Model Transformations . In: Tratt, L., Gogolla, M. (eds) Theory and Practice of Model Transformations. ICMT 2010. Lecture Notes in Computer Science, vol 6142. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13688-7_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-13688-7_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-13687-0

  • Online ISBN: 978-3-642-13688-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation