QVT Traceability : What does it really mean ?

Traceability in Model Transformation languages supports not only post-execution analysis, but also incremental update and coordination 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.

[1]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[2]  Dennis Wagelaar,et al.  Advanced Traceability for ATL , 2009 .

[3]  Frédéric Jouault.  Loosely Coupled Traceability for ATL , 2005 .

[4]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[5]  dizayn İç dekor.  Design by Contract , 2010 .

[6]  B. Liskov.  Keynote address - data abstraction and hierarchy , 1988, OOPSLA '87.

[7]  Clémentine Nebut,et al.  Towards a Traceability Framework for Model Transformations in Kermeta , 2006 .

[8]  Gabriele Taentzer,et al.  AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.

[9]  Gabor Karsai,et al.  Graph Transformations on Domain-Specific Models , 2003 .

[10]  Richard F. Paige,et al.  The Epsilon Transformation Language , 2008, ICMT@TOOLS.

[11]  Jean-Luc Dekeyser,et al.  Using an Alternative Trace for QVT , 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..