Skip to main content

Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.

Jump to: navigation, search

QVTd/Articles

< QVTd
Revision as of 16:56, 22 July 2016 by Ed.willink.me.uk (Talk | contribs) (Articles and Presentations)

Articles and Presentations

2016-2017 / Oxygen

First results of the new Eclipse QVTc implementation demonstrating scalability and major speedups through the use of metamodel-driven scheduling and direct Java code generation.

2015-2016 / Neon

Analysis of Model Transformations (AMT 2015)"], October 2015

Traceability in Model Transformation languages supports not only post-execution analysis, but also incremental update and co-ordination of repetition. The Query/View/Transformation family of languages specify a form of traceability that unifies high and low level abstraction in declarative and imperative transformation languages. Unfortunately this aspect of the QVT specification is little more than an aspiration. We identify axioms that resolve the conflicting requirements on traceability, and provide a foundation for resolving further issues regarding equality, transformation extension and mapping refinement.

This invited paper was withdrawn at the camera-ready stage when it finally dawned that a trace for resolution was not identical to a trace for re-execution. The QVT 1.3 specification was updated to remove the suggestion that they are the same.

2013-2014 / Luna

QVT status and Eclipse QVTd plans.

Back to the top