%0 Generic %1 willink2015traceability %A Willink, Edward %A Matragkas, Nicholas %B Proceedings of the 4th Workshop on the Analysis of Model Transformations (AMT 2015) %D 2015 %I Selbstverlag der Workshop-Organisatoren %K model qvt traceability transformation %T QVT Traceability: What does it really mean? %U http://msdl.cs.mcgill.ca/conferences/AMT/20_program.dtml %X 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.

@electronic{willink2015traceability, abstract = {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.}, added-at = {2015-11-16T22:59:57.000+0100}, author = {Willink, Edward and Matragkas, Nicholas}, biburl = {https://www.bibsonomy.org/bibtex/2e5dff517c3bfd9cf65554475fdb1dc74/porta}, booktitle = {Proceedings of the 4th Workshop on the Analysis of Model Transformations (AMT 2015)}, interhash = {00c596a4eceefe81cc8473fb33daa2c7}, intrahash = {e5dff517c3bfd9cf65554475fdb1dc74}, keywords = {model qvt traceability transformation}, month = sep, publisher = {Selbstverlag der Workshop-Organisatoren}, timestamp = {2015-11-16T23:03:41.000+0100}, title = {{QVT Traceability: What does it really mean?}}, type = {Publication}, url = {http://msdl.cs.mcgill.ca/conferences/AMT/20_program.dtml}, year = 2015 }