Advertisement

Language-Independent Traceability with Lässig

  • Rolf-Helge Pfeiffer
  • Jan Reimann
  • Andrzej Wąsowski
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8569)

Abstract

Typical programming languages, including model transformation languages, do not support traceability. Applications requiring inter-object traceability implement traceability support repeatedly for different domains. In this paper we introduce a solution for generic traceability which enables the generation of trace models for all programming languages compiling to Virtual Machine (VM) bytecode by leveraging automatically generated observer aspects.

We implement our solution in a tool called Lässig adding traceability support to all programming languages compiling to the Java Virtual Machine (JVM). We evaluate and discuss general feasibility, correctness, and the performance overhead of our solution by applying it to three model-to-model transformations.

Our generic traceability solution is capable of automatically establishing complete sets of trace links for transformation programs in various languages and at a minimum cost. Lässig is available as an open-source project for integration into modeling frameworks

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aranega, V., Etien, A., Dekeyser, J.L.: Using an alternative trace for QVT. Electronic Communications of the EASST 42 (2011)Google Scholar
  2. 2.
    Aßmann, U., Bartho, A., Bürger, C., Cech, S., Demuth, B., Heidenreich, F., Johannes, J., Karol, S., Polowinski, J., Reimann, J., Schroeter, J., Seifert, M., Thiele, M., Wende, C., Wilke, C.: DropsBox: The Dresden Open Software Toolbox. Software & Systems Modeling 13(1), 133–169 (2014)CrossRefGoogle Scholar
  3. 3.
    Bézivin, J.: On the unification power of models. Software & System Modeling 4, 171–188 (2005)CrossRefGoogle Scholar
  4. 4.
    Castelo Branco, M., Troya, J., Czarnecki, K., Küster, J., Völzer, H.: Matching Business Process Workflows across Abstraction Levels. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 626–641. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  5. 5.
    Eclipse Foundation: ATLAS Transformation Language (April 2012), http://www.eclipse.org/m2m/atl
  6. 6.
    Eysholdt, M., Behrens, H.: Xtext: Implement your language faster than the quick and dirty way. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (2010)Google Scholar
  7. 7.
    Fabro, M.D.D., Valduriez, P.: Towards the efficient development of model transformations using model weaving and matching transformations. Software & Systems Modeling 8, 305–324 (2009)CrossRefGoogle Scholar
  8. 8.
    Grammel, B., Kastenholz, S.: A generic traceability framework for facet-based traceability data extraction in model-driven software development. In: Proceedings of the 6th ECMFA Traceability Workshop (2010)Google Scholar
  9. 9.
    Grammel, B., Kastenholz, S., Voigt, K.: Model Matching for Trace Link Generation in Model-Driven Software Development. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 609–625. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  10. 10.
    Jouault, F.: Loosely Coupled Traceability for ATL. In: Proceedings of the European Conference on Model Driven Architecture (ECMDA) Workshop on Traceability (2005)Google Scholar
  11. 11.
    Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An Overview of AspectJ. In: Lindskov Knudsen, J. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327–354. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  12. 12.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The Epsilon Transformation Language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46–60. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  13. 13.
    Lawley, M., Steel, J.: Practical Declarative Model Transformation with Tefkat. In: MODELS Satellite Events (2005)Google Scholar
  14. 14.
    Object Management Group: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, V1.1 (January 2011), http://www.omg.org/spec/QVT/1.1/
  15. 15.
    Paige, R.F., Olsen, G., Kolovos, D., Zschaler, S., Power, C.: Building Model-Driven Engineering Traceability Classifications. In: 4th ECMDA Traceability Workshop (2008)Google Scholar
  16. 16.
    Pfeiffer, R.-H., Wąsowski, A.: Cross-Language Support Mechanisms Significantly Aid Software Development. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 168–184. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  17. 17.
    Rahm, E., Bernstein, P.A.: A survey of approaches to automatic schema matching. The VLDB Journal 10, 334–350 (2001)CrossRefMATHGoogle Scholar
  18. 18.
    Reimann, J., Seifert, M., Aßmann, U.: On the reuse and recommendation of model refactoring specifications. Software & Systems Modeling 12(3), 579–596 (2013)CrossRefGoogle Scholar
  19. 19.
    Shvaiko, P., Euzenat, J.: A Survey of Schema-Based Matching Approaches. Data Semantics 4, 146–171 (2005)Google Scholar
  20. 20.
    Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: Eclipse Modeling Framework, 2nd edn. Pearson Education (2009)Google Scholar
  21. 21.
    Tarr, P., Ossher, H., Harrison, W., Sutton, Jr., S.M.: N degrees of separation: Multi-dimensional separation of concerns. In: Proceedings of the 21st International Conference on Software Engineering (1999)Google Scholar
  22. 22.
    Voigt, K.: Semi-automatic Matching of Heterogeneous Model-based Specifications. In: Engels, G., Luckey, M., Pretschner, A., Reussner, R. (eds.) Software Engineering (Workshops). LNI, vol. 160, GI (2010)Google Scholar
  23. 23.
    Voigt, K., Ivanov, P., Rummler, A.: MatchBox: Combined meta-model matching for semi-automatic mapping generation. In: Proceedings of the 2010 ACM Symposium on Applied Computing (2010)Google Scholar
  24. 24.
    Walderhaug, S., Johansen, U., Stav, E., Aagedal, J.: Towards a Generic Solution for Traceability in MDD. In: ECMDA Traceability Workshop, ECMDA-TW (2006)Google Scholar
  25. 25.
    Yie, A., Wagelaar, D.: Advanced traceability for ATL. In: 1st International Workshop on Model Transformation with ATL (2009)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Rolf-Helge Pfeiffer
    • 1
  • Jan Reimann
    • 2
  • Andrzej Wąsowski
    • 1
  1. 1.IT University of CopenhagenDenmark
  2. 2.Technische Universität DresdenGermany

Personalised recommendations