Visualizing traceability in model transformation compositions

Analysis and execution of domain-specific models is typically performed by applying model transformations to transform them to formalisms suitable for that purpose. In this way, model transformations provide great exibility. However, it is the transformed models that are analyzed and executed instead of the domain-specific models themselves. Consequently, analysis and execution results have to be traced back to the source models. This raises the issue of traceability in model transformations. This issue becomes even more apparent when compositions of multiple model transformations are considered. Therefore, we propose in this paper to visualize traceability in (compositions of) model transformations. In this visualization, the relation between the transformation functions that comprise a model transformation and the source and target metamodel of that transformation are made explicit.