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
This is a preview of subscription content, log in via an institution to check access.
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
Aranega, V., Etien, A., Dekeyser, J.L.: Using an alternative trace for QVT. Electronic Communications of the EASST 42 (2011)
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)
Bézivin, J.: On the unification power of models. Software & System Modeling 4, 171–188 (2005)
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)
Eclipse Foundation: ATLAS Transformation Language (April 2012), http://www.eclipse.org/m2m/atl
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)
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)
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)
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)
Jouault, F.: Loosely Coupled Traceability for ATL. In: Proceedings of the European Conference on Model Driven Architecture (ECMDA) Workshop on Traceability (2005)
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)
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)
Lawley, M., Steel, J.: Practical Declarative Model Transformation with Tefkat. In: MODELS Satellite Events (2005)
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/
Paige, R.F., Olsen, G., Kolovos, D., Zschaler, S., Power, C.: Building Model-Driven Engineering Traceability Classifications. In: 4th ECMDA Traceability Workshop (2008)
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)
Rahm, E., Bernstein, P.A.: A survey of approaches to automatic schema matching. The VLDB Journal 10, 334–350 (2001)
Reimann, J., Seifert, M., Aßmann, U.: On the reuse and recommendation of model refactoring specifications. Software & Systems Modeling 12(3), 579–596 (2013)
Shvaiko, P., Euzenat, J.: A Survey of Schema-Based Matching Approaches. Data Semantics 4, 146–171 (2005)
Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: Eclipse Modeling Framework, 2nd edn. Pearson Education (2009)
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)
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)
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)
Walderhaug, S., Johansen, U., Stav, E., Aagedal, J.: Towards a Generic Solution for Traceability in MDD. In: ECMDA Traceability Workshop, ECMDA-TW (2006)
Yie, A., Wagelaar, D.: Advanced traceability for ATL. In: 1st International Workshop on Model Transformation with ATL (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Pfeiffer, RH., Reimann, J., Wąsowski, A. (2014). Language-Independent Traceability with Lässig. In: Cabot, J., Rubin, J. (eds) Modelling Foundations and Applications. ECMFA 2014. Lecture Notes in Computer Science, vol 8569. Springer, Cham. https://doi.org/10.1007/978-3-319-09195-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-09195-2_10
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09194-5
Online ISBN: 978-3-319-09195-2
eBook Packages: Computer ScienceComputer Science (R0)