Skip to main content
SpringerLink
Log in

Traceability Visualization in Model Transformations with TraceVis

  • Conference paper
Theory and Practice of Model Transformations (ICMT 2012)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7307))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. 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)

    Google Scholar 

  8. van Deursen, A., Klint, P., Tip, F.: Origin Tracking. Journal of Symbolic Computation 15(5-6), 523–545 (1993)

    Article  MATH  Google Scholar 

  9. van Deursen, A., Klint, P., Visser, J.: Domain-Specific Languages: An Annotated Bibliography. SIGPLAN Notices 35(6), 26–36 (2000)

    Article  Google Scholar 

  10. Eclipse Foundation: ATL Transformations, http://www.eclipse.org/m2m/atl/atlTransformations/

  11. Falleri, J.R., Huchard, M., Nebut, C.: Towards a traceability framework for model transformations in kermeta. In: ECMDA-TW Workshop, pp. 31–40 (2006)

    Google Scholar 

  12. Holten, D.: Hierarchical edge bundles: Visualization of adjacency relations in hierarchical data. IEEE Trans. Vis. Comput. Graph. 12(5), 741–748 (2006)

    Article  Google Scholar 

  13. Jouault, F.: Loosely Coupled Traceability for ATL. In: ECMDA (2005)

    Google Scholar 

  14. 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)

    Chapter  Google Scholar 

  15. Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Computing Surveys 37, 316–344 (2005)

    Article  Google Scholar 

  16. 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)

    Chapter  Google Scholar 

  17. van Ravensteijn, W.J.P.: Visual Traceability across Dynamic Ordered Hierarchies. Master’s thesis, Eindhoven Univ. of Technology, The Netherlands (2011)

    Google Scholar 

  18. Sendall, S., Kozaczynski, W.: Model Transformation: The Heart and Soul of Model-Driven Software Development. IEEE Software 20(5), 42–45 (2003)

    Article  Google Scholar 

  19. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands

    Marcel F. van Amstel, Mark G. J. van den Brand & Alexander Serebrenik

Authors
  1. Marcel F. van Amstel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mark G. J. van den Brand
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alexander Serebrenik
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. National Institute of Informatics, 2-1-2 Hitotsubashi, 101-8430, Chiyoda-ku, Tokyo, Japan

    Zhenjiang Hu

  2. Department of Computer Science, Universidad Autónoma de Madrid, Campus de Cantoblanco, 28049, Madrid, Spain

    Juan de Lara

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation