Abstract
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.
This work has been carried out as part of the FALCON project under the responsibility of the Embedded Systems Institute with Vanderlande Industries as the industrial partner. This project is partially supported by the Netherlands Ministry of Economic Affairs under the Embedded Systems Institute (BSIK03021) program.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van Amstel, M.F., van den Brand, M.G.J., Engelen, L.J.P.: An Exercise in Iterative Domain-Specific Language Design. In: IWPSE-EVOL, pp. 48–57. ACM (2010)
van Amstel, M.F., Serebrenik, A., van den Brand, M.G.J.: Visualizing Traceability in Model Transformation Compositions. In: Pre-proceedings of the First Workshop on Composition and Evolution of Model Transformations (2011)
Arnold, R.S., Bohner, S.A.: Impact Analysis – Towards A Framework for Comparison. In: Card, D.N. (ed.) ICSM, pp. 292–301. IEEE CS (September 1993)
Barros, S., Bodhuin, T., Escudie, A., Queille, J.P., Voidrot, J.F.: Supporting Impact Analysis: A Semi-Automated Technique and Associated Tool. In: ICSM, pp. 42–51. IEEE CS (1995)
Bohner, S.A.: Extending Software Change Impact Analysis into COTS Components. In: Proceedings of the 27th Annual NASA Goddard/IEEE Software Engineering Workshop (SEW-27 2002), pp. 175–182. IEEE CS (2002)
van den Brand, M.G.J., van der Meer, A.P., Serebrenik, A., Hofkamp, A.T.: Formally specified type checkers for domain specific languages: experience report. In: LDTA, pp. 12:1–12:7. ACM, New York (2010)
Brandic, I., Dustdar, S., Anstett, T., Schumm, D., Leymann, F., Konrad, R.: Compliant Cloud Computing (C3): Architecture and Language Support for User-Driven Compliance Management in Clouds. In: CLOUD, pp. 244–251. IEEE CS (2010)
van Deursen, A., Klint, P., Tip, F.: Origin Tracking. Journal of Symbolic Computation 15(5-6), 523–545 (1993)
van Deursen, A., Klint, P., Visser, J.: Domain-Specific Languages: An Annotated Bibliography. SIGPLAN Notices 35(6), 26–36 (2000)
Eclipse Foundation: ATL Transformations, http://www.eclipse.org/m2m/atl/atlTransformations/
Falleri, J.R., Huchard, M., Nebut, C.: Towards a traceability framework for model transformations in kermeta. In: ECMDA-TW Workshop, pp. 31–40 (2006)
Holten, D.: Hierarchical edge bundles: Visualization of adjacency relations in hierarchical data. IEEE Trans. Vis. Comput. Graph. 12(5), 741–748 (2006)
Jouault, F.: Loosely Coupled Traceability for ATL. In: ECMDA (2005)
Mannadiar, R., Vangheluwe, H.: Debugging in Domain-Specific Modelling. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 276–285. Springer, Heidelberg (2011)
Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Computing Surveys 37, 316–344 (2005)
von Pilgrim, J., Vanhooff, B., Schulz-Gerlach, I., Berbers, Y.: Constructing and Visualizing Transformation Chains. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 17–32. Springer, Heidelberg (2008)
van Ravensteijn, W.J.P.: Visual Traceability across Dynamic Ordered Hierarchies. Master’s thesis, Eindhoven Univ. of Technology, The Netherlands (2011)
Sendall, S., Kozaczynski, W.: Model Transformation: The Heart and Soul of Model-Driven Software Development. IEEE Software 20(5), 42–45 (2003)
Sokolsky, O., Smolka, S.: Incremental Model Checking in the Modal μ-Calculus. In: Dill, D. (ed.) CAV 1994. LNCS, vol. 818, pp. 351–363. Springer, Heidelberg (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Amstel, M.F., van den Brand, M.G.J., Serebrenik, A. (2012). Traceability Visualization in Model Transformations with TraceVis. In: Hu, Z., de Lara, J. (eds) Theory and Practice of Model Transformations. ICMT 2012. Lecture Notes in Computer Science, vol 7307. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30476-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-30476-7_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30475-0
Online ISBN: 978-3-642-30476-7
eBook Packages: Computer ScienceComputer Science (R0)