Traceability Visualization in Model Transformations with TraceVis

Model transformations are commonly used to transform models suited for one purpose (e.g., describing a solution in a particular domain) to models suited for a related but different purpose (e.g., simulation or execution). The disadvantage of a transformational approach, however, is that feedback acquired from analyzing transformed models is not reported on the level of the problem domain but on the level of the transformed model. Expressing the feedback on the level of the problem domain requires improving traceability in model transformations. We propose to visualize traceability links in (chains of) model transformations, thus making traceability amenable for analysis.

[1]  Shawn A. Bohner,et al.  Extending software change impact analysis into COTS components , 2002, 27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings..

[2]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

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

[4]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..

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

[6]  Frank Leymann,et al.  Compliant Cloud Computing (C3): Architecture and Language Support for User-Driven Compliance Management in Clouds , 2010, 2010 IEEE 3rd International Conference on Cloud Computing.

[7]  Alexander Serebrenik,et al.  Visualizing traceability in model transformation compositions , 2011 .

[8]  Thierry Bodhuin,et al.  Supporting impact analysis: a semi-automated technique and associated tool , 1995, Proceedings of International Conference on Software Maintenance.

[9]  Alexander Serebrenik,et al.  Formally specified type checkers for domain specific languages: experience report , 2010, LDTA.

[10]  Arie van Deursen,et al.  Origin Tracking , 1993, J. Symb. Comput..

[11]  Yolande Berbers,et al.  Constructing and Visualizing Transformation Chains , 2008, ECMDA-FA.

[12]  Scott A. Smolka,et al.  Incremental Model Checking in the Modal Mu-Calculus , 1994, CAV.

[13]  Hans Vangheluwe,et al.  Debugging in Domain-Specific Modelling , 2010, SLE.

[14]  Shawn A. Bohner,et al.  Impact analysis-Towards a framework for comparison , 1993, 1993 Conference on Software Maintenance.

[15]  Danny Holten,et al.  Hierarchical Edge Bundles: Visualization of Adjacency Relations in Hierarchical Data , 2006, IEEE Transactions on Visualization and Computer Graphics.

[16]  Arie van Deursen,et al.  Domain-specific languages: an annotated bibliography , 2000, SIGP.

[17]  Mark van den Brand,et al.  An exercise in iterative domain-specific language design , 2010, IWPSE-EVOL '10.