Article

Bidirectional model transformations in QVT: semantic issues and open questions

Author:

Perdita StevensAuthors Info & Claims

MODELS'07: Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems

Pages 1 - 15

Published: 30 September 2007 Publication History

Publisher Site

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.

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

Digital Library

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

Digital Library

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

Digital Library

Google Scholar

[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'04. Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, pp. 178-189. ACM Press, New York (2004).

Digital Library

Google Scholar

[6]

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

Digital Library

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

Digital Library

Google Scholar

[8]

Königs, A.: Model transformation with triple graph grammars. In: 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/

Google Scholar

[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

Google Scholar

[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

Google Scholar

Cited By

View all

Greiner SBuchmann T(2016)Round-trip Engineering UML Class Models and Java ModelsInternational Journal of Information System Modeling and Design10.4018/IJISMD.20160701047:3(72-92)Online publication date: 1-Jul-2016
https://dl.acm.org/doi/10.4018/IJISMD.2016070104
Pierce BLenzerini MBenedikt M(2012)Linguistic foundations for bidirectional transformationsProceedings of the 31st ACM SIGMOD-SIGACT-SIGAI symposium on Principles of Database Systems10.1145/2213556.2213568(61-64)Online publication date: 21-May-2012
https://dl.acm.org/doi/10.1145/2213556.2213568
Hofmann MPierce BWagner DField JHicks M(2012)Edit lensesProceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/2103656.2103715(495-508)Online publication date: 25-Jan-2012
https://dl.acm.org/doi/10.1145/2103656.2103715
Show More Cited By

Recommendations

An approach and tool for synchronous refactoring of UML diagrams and models using model-to-model transformations
WRT '12: Proceedings of the Fifth Workshop on Refactoring Tools

When refactorings are applied to software models that are specified using the Unified Modeling Language (UML), the actual model and the graphical presentation of the model using a diagram need to be distinguished. While UML refactoring tools exist, they ...
Model querying with graphical notation of QVT relations

As a standard high-level model transformation language, QVT Relations defines a graphical notation, which provides a concise, intuitive way to specify transformations. However, QVT Relations relies only on the textual language OCL for model querying, ...
A new tool for URDAD to Java EE EJB transformations
SAICSIT '13: Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference

Following the Object Management Group's (OMG) Model-Driven Architecture (MDA) approach, the semi-formal, service-orientated "Use Case, Responsibility Driven Analysis and Design" (URDAD) method is used by requirements engineers to specify a software ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

MODELS'07: Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems

September 2007

696 pages

ISBN:3540752080

Editors:
Gregor Engels
University of Paderborn, Department of Computer Science, Paderborn, Germany
,
Bill Opdyke
Motorola, Inc., Technology Office, Home & Networks Mobility, Schaumburg, IL
,
Douglas C. Schmidt
Vanderbilt University, Department of Electrical Engineering and Computer Science, Nashville, TN
,
Frank Weil
Motorola, Inc., Software Design Automation Center, Schaumburg, IL

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 30 September 2007

Check for updates

Author Tags

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

40
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 11 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Greiner SBuchmann T(2016)Round-trip Engineering UML Class Models and Java ModelsInternational Journal of Information System Modeling and Design10.4018/IJISMD.20160701047:3(72-92)Online publication date: 1-Jul-2016
https://dl.acm.org/doi/10.4018/IJISMD.2016070104
Pierce BLenzerini MBenedikt M(2012)Linguistic foundations for bidirectional transformationsProceedings of the 31st ACM SIGMOD-SIGACT-SIGAI symposium on Principles of Database Systems10.1145/2213556.2213568(61-64)Online publication date: 21-May-2012
https://dl.acm.org/doi/10.1145/2213556.2213568
Hofmann MPierce BWagner DField JHicks M(2012)Edit lensesProceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/2103656.2103715(495-508)Online publication date: 25-Jan-2012
https://dl.acm.org/doi/10.1145/2103656.2103715
Hofmann MPierce BWagner D(2012)Edit lensesACM SIGPLAN Notices10.1145/2103621.210371547:1(495-508)Online publication date: 25-Jan-2012
https://dl.acm.org/doi/10.1145/2103621.2103715
Cunha JFernandes JMendes JPacheco HSaraiva J(2012)Bidirectional transformation of model-driven spreadsheetsProceedings of the 5th international conference on Theory and Practice of Model Transformations10.1007/978-3-642-30476-7_7(105-120)Online publication date: 28-May-2012
https://dl.acm.org/doi/10.1007/978-3-642-30476-7_7
Demuth ALopez-Herrejon REgyed A(2012)Constraint-Driven modeling through transformationProceedings of the 5th international conference on Theory and Practice of Model Transformations10.1007/978-3-642-30476-7_17(248-263)Online publication date: 28-May-2012
https://dl.acm.org/doi/10.1007/978-3-642-30476-7_17
Song HHuang GChauvel FZhang WSun YShao WMei H(2011)Instant and incremental QVT transformation for runtime modelsProceedings of the 14th international conference on Model driven engineering languages and systems10.5555/2050655.2050683(273-288)Online publication date: 16-Oct-2011
https://dl.acm.org/doi/10.5555/2050655.2050683
Sasano IHu ZHidaka SInaba KKato HNakano K(2011)Toward bidirectionalization of ATL with GRoundTramProceedings of the 4th international conference on Theory and practice of model transformations10.5555/2022007.2022017(138-151)Online publication date: 27-Jun-2011
https://dl.acm.org/doi/10.5555/2022007.2022017
Kappel GWimmer MRetschitzegger WSchwinger W(2011)Leveraging model-based tool integration by conceptual modeling techniquesThe evolution of conceptual modeling10.5555/1985703.1985717(254-284)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.5555/1985703.1985717
Pacheco HCunha AKhoo SSiek J(2011)Calculating with lensesProceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation10.1145/1929501.1929520(91-100)Online publication date: 24-Jan-2011
https://dl.acm.org/doi/10.1145/1929501.1929520
Show More Cited By

Abstract

References

Cited By

Recommendations

An approach and tool for synchronous refactoring of UML diagrams and models using model-to-model transformations

Model querying with graphical notation of QVT relations

A new tool for URDAD to Java EE EJB transformations

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations