Skip to main content
Springer Nature Link
Log in

Translatability and Translation of Updated Views in ModelJoin

  • Conference paper
  • First Online:
Theory and Practice of Model Transformations (ICMT 2016)

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

Abstract

The ModelJoin language offers the definition of views that combine information from heterogeneous models. These views are currently realised by unidirectional transformations. Thus, updates to the views are not translated back to the models. In this paper, we study the view-update problem for ModelJoin view definitions. We propose translation strategies for view updates, and show that generated model constraints can be used to decide whether updated views can be translated. We provide a transformation for deriving a set of OCL constraints to check for translatability. For untranslatable cases that can be made translatable with minor fixes to the view, we provide algorithms for automatic fixes. The constraints are evaluated in two case study examples. The evaluation shows the applicability of the translation strategies, and the algorithms for automatically checking and restoring the translatability. Most of the consistent update sequences could be translated, and all inconsistent updates could be identified.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
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

Similar content being viewed by others

Notes

  1. 1.

    https://sdqweb.ipd.kit.edu/wiki/ModelJoin.

References

  1. Anjorin, A., Rose, S., Deckwerth, F., Schürr, A.: Efficient model synchronization with view triple graph grammars. In: Rubin, J., Cabot, J. (eds.) ECMFA 2014. LNCS, vol. 8569, pp. 1–17. Springer, Heidelberg (2014). http://dx.doi.org/10.1007/978-3-319-09195-2_1

    Google Scholar 

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

    Article  MATH  Google Scholar 

  3. Becker, S., Reussner, R.H. et al.: Modeling and Simulating Software Architectures – The Palladio Approach. MIT Press, Cambridge (2016, to appear)

    Google Scholar 

  4. Bergmann, G., et al.: Change-driven model transformations. Softw. Syst. Model. 11(3), 431–461 (2012). http://dx.doi.org/10.1007/s10270-011-0197-9

    Article  Google Scholar 

  5. Bruneliére, H., et al.: EMF views: a view mechanism for integrating heterogeneous models. In: 34th International Conference on Conceptual Modeling (ER 2015), Stockholm, Sweden, October 2015. https://hal.inria.fr/hal-01159205

  6. Burger, E., Gruschko, B.: A change metamodel for the evolution of MOF-based metamodels. In: Engels, G., Karagiannis, D., Mayr, H.C. (eds.) Proceedings of Modellierung 2010, GI-LNI, Klagenfurt, Austria, vol. P-161, pp. 285–300, March 2010. http://sdqweb.ipd.kit.edu/publications/pdfs/burger2010a.pdf

  7. Burger, E., et al.: ModelJoin. A textual domain-specific language for the combination of heterogeneous models. Technical report 1, Karlsruhe Institute of Technology, Faculty of Informatics (2014). http://digbib.ubka.unikarlsruhe.de/volltexte/1000037908

  8. Burger, E., et al.: View-based model-driven software development with ModelJoin. Softw. Syst. Model. 15(2), 472–496 (2014). Ed. by Robert France and Bernhard Rumpe

    Google Scholar 

  9. Cosmadakis, S.S., Papadimitriou, C.H.: Updates of relational views. J. ACM 31(4), 742–760 (1984). http://doi.acm.org/10.1145/1634.1887

    Article  MathSciNet  MATH  Google Scholar 

  10. Debreceni, C., et al.: Query-driven incremental synchronization of view models. In: Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, VAO 2014, York, United Kingdom, pp. 31:31–31:38. ACM (2014). http://doi.acm.org/10.1145/2631675.2631677

  11. 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). http://dx.doi.org/10.1007/978-3-540-87875-9_2

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

  13. Foster, J.N., et al.: Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. SIGPLAN Not. 40(1), 233–246 (2005). http://doi.acm.org/10.1145/1047659.1040325

    Article  Google Scholar 

  14. Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. 8, 21–43 (2009)

    Article  Google Scholar 

  15. Herold, S., et al.: CoCoME - the common component modeling example. In: Rausch, A., Reussner, R., Mirandola, R., Plášil, F. (eds.) The Common Component Modeling Example. LNCS, vol. 5153, pp. 16–53. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  16. Hidaka, S., et al.: Feature-based classification of bidirectional transformation approaches. Softw. Syst. Model. 1–22 (2015). http://dx.doi.org/10.1007/s10270-014-0450-0

  17. Hofmann, M., Pierce, B., Wagner, D.: Edit lenses. SIGPLAN Not. 47(1), 495–508 (2012). http://doi.acm.org/10.1145/2103621.2103715

    Article  MATH  Google Scholar 

  18. Johnson, M., Rosebrugh, R.D.: Unifying set-based, delta-based and edit-based lenses. In: Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, Co-located with the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, pp. 1–13, April 2016. http://ceurws.org/Vol-1571/paper_13.pdf

  19. Kramer, M.E.: A Generative approach to change-driven consistency in multi-view modeling. In: Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, QoSA 2015. 20th International Doctoral Symposium on Components and Architecture (WCOP 2015), pp. 129–134. ACM, Montréal (2015). http://doi.acm.org/10.1145/2737182.2737194

  20. Lechtenbörger, J.: The impact of the constant complement approach towards view updating. In: Proceedings of the Twenty-Second ACM SIGMODSIGACT-SIGART Symposium on Principles of Database Systems, PODS 2003, pp. 49–55. ACM, New York (2003)

    Google Scholar 

  21. Object Management Group (OMG): Object Constraint Language (OCL), Version 2.4. (2014). http://www.omg.org/spec/OCL/2.4/

  22. Schneider, O.: Translatability and translation of updated views in ModelJoin. Master’s thesis, Karlsruhe Institute of Technology. http://sdqweb.ipd.kit.edu/publications/pdfs/schneider2015a.pdf

  23. Taentzer, G., et al.: A fundamental approach to model versioning based on graph modifications: from theory to implementation. Softw. Syst. Model. 13(1), 239–272 (2014). http://dx.doi.org/10.1007/s10270-012-0248-x

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Karlsruhe Institute of Technology, Karlsruhe, Germany

    Erik Burger & Oliver Schneider

Authors
  1. Erik Burger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Oliver Schneider
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Erik Burger .

Editor information

Editors and Affiliations

  1. Eindhoven University of Technology, Eindhoven, The Netherlands

    Pieter Van Gorp

  2. University of Paderborn, Paderborn, Germany

    Gregor Engels

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Burger, E., Schneider, O. (2016). Translatability and Translation of Updated Views in ModelJoin. In: Van Gorp, P., Engels, G. (eds) Theory and Practice of Model Transformations. ICMT 2016. Lecture Notes in Computer Science(), vol 9765. Springer, Cham. https://doi.org/10.1007/978-3-319-42064-6_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-42064-6_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-42063-9

  • Online ISBN: 978-3-319-42064-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics