Skip to main content
SpringerLink
Log in

Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions

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

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

Abstract

We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss what is meant by bidirectional transformations, and the model-driven development scenarios in which they are needed. We analyse the fundamental requirements on tools which support such transformations, and discuss some semantic issues which arise. We argue that a considerable amount of basic research is needed before suitable tools will be fully realisable, and suggest directions for this future research.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Bohannon, A., Vaughan, J.A., Pierce, B.C.: Relational lenses: A language for updateable views. In: Principles of Database Systems (PODS), Extended version available as University of Pennsylvania technical report MS-CIS-05-27 (2006)

    Google Scholar 

  2. Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information preserving bidirectional model transformations. In: FASE 2007. LNCS, vol. 4422, pp. 72–86. Springer, Heidelberg (2007)

    Google Scholar 

  3. Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bi-directional tree transformations: A linguistic approach to the view update problem. ACM Transactions on Programming Languages and Systems (to appear, 2007) (preprint), available from http://www.cis.upenn.edu/~bcpierce/papers/index.shtml

  4. Greenyer, J.: A study of technologies for model transformation: Reconciling TGGs with QVT. Master’s thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany (July 2006)

    Google Scholar 

  5. Hu, Z., Mu, S.-C., Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations. In: PEPM 2004. Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, pp. 178–189. ACM Press, New York (2004)

    Chapter  Google Scholar 

  6. Kawanaka, S., Hosoya, H.: biXid: a bidirectional transformation language for XML. In: ICFP 2006. Proceedings of the International Conference on Functional Programming, pp. 201–214 (2006)

    Google Scholar 

  7. Königs, A., Schürr, A.: Tool Integration with Triple Graph Grammars - A Survey. In: Heckel, R. (ed.) Proceedings of the SegraVis School on Foundations of Visual Modelling Techniques. ENTCS, vol. 148, pp. 113–150. Elsevier Science Publ., Amsterdam (2006)

    Google Scholar 

  8. Königs, A.: Model transformation with triple graph grammars. In: Proceedings, Workshop on Model Transformations in Practice (September 2005)

    Google Scholar 

  9. Meertens, L.: Designing constraint maintainers for user interaction. (unpublished manuscript) (June 1998), available from http://www.kestrel.edu/home/people/meertens/

  10. Mu, S.-C., Hu, Z., Takeichi, M.: An algebraic approach to bi-directional updating. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 2–20. Springer, Heidelberg (2004)

    Google Scholar 

  11. Mu, S.-C., Hu, Z., Takeichi, M.: An injective language for reversible computation. In: Kozen, D. (ed.) MPC 2004. LNCS, vol. 3125, pp. 289–313. Springer, Heidelberg (2004)

    Google Scholar 

  12. OMG. MOF2.0 query/view/transformation (QVT) adopted specification. OMG document ptc/05-11-01 (2005), available from www.omg.org

  13. Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovsky, T., Prange, U., Varro, D., Varro-Gyapay, S.: Model transformation by graph transformation: A comparative study. In: Workshop on Model Transformations in Practice (September 2005)

    Google Scholar 

  14. Witkop, S.: MDA users’ requirements for QVT transformations. OMG document 05-02-04 (2005), available from www.omg.org

Download references

Author information

Authors and Affiliations

  1. School of Informatics, University of Edinburgh,  

    Perdita Stevens

Authors
  1. Perdita Stevens
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gregor Engels Bill Opdyke Douglas C. Schmidt Frank Weil

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stevens, P. (2007). Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds) Model Driven Engineering Languages and Systems. MODELS 2007. Lecture Notes in Computer Science, vol 4735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75209-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-75209-7_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-75208-0

  • Online ISBN: 978-3-540-75209-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation