Engineering a DSL for Software Traceability

  • Nikolaos Drivalos
  • Dimitrios S. Kolovos
  • Richard F. Paige
  • Kiran J. Fernandes
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5452)


The software artefacts at different levels of abstraction and at different stages of the development process are closely inter-related. For developers to stay in control of the development process, traceability information must be maintained. In this paper, we present the engineering of the Traceability Metamodelling Language (TML), a metamodelling language dedicated to defining traceability metamodels. We present the abstract syntax of the language and its semantics, which are defined using a translational approach. Finally, we provide a case study that demonstrates the construction of a traceability metamodel that captures traceability information between two metamodels using TML.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Kolovos, S.D., Paige, R.F., Polack, F.A.C.: On-Demand Merging of Traceability Links with Models. In: Proc. 2nd EC-MDA Workshop on Traceability, Bilbao, Spain (July 2006)Google Scholar
  2. 2.
    Drivalos, N., Paige, R.F., Fernandes, K.J., Kolovos, D.S.: Towards Rigorously Defined Model-to-Model Traceability. In: Proc. 4th Traceability Workshop, ECMDA, Berlin, Germany (June 2008)Google Scholar
  3. 3. Eclipse Modelling Framework,
  4. 4.
    IEEE Std 610.12-1990. IEEE Standard Glossary of Software Engineering Terminology. IEEE, New YorkGoogle Scholar
  5. 5.
    Aizenbud-Reshef, N., Nolan, B.T., Rubin, J., Shaham-Gafini, Y.: Model Traceability. IBM Systems Journal (2006)Google Scholar
  6. 6.
    Limon, A.E., Garbajosa, J.: The Need for a Unifying Traceability Scheme. In: Proc. Traceability Workshop, European Conference in Model Driven Architecture (EC-MDA), pp. 47–55 (2005)Google Scholar
  7. 7.
    Jouault, F., Bezívin, J.: Using ATL for Checking Models. In: Proc. International Workshop on Graph and Model Transformation (GraMoT), Tallinn, Estonia (September 2005)Google Scholar
  8. 8.
    Kleppe, A.: A Language Description is More than a Metamodel. In: Proc. 4th International Workshop on Software Language Engineering, Nashville, USA (October 2007)Google Scholar
  9. 9.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. In: Proc. Dagstuhl Workshop on Rigorous Methods for Software Construction and Analysis (2007)Google Scholar
  10. 10.
    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
  11. 11.
    Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Object Management Group. MOF QVT Final Adopted Specification,
  13. 13.
    Chauvel, F., Fleurey, F.: Kermeta Language Overview,
  14. 14.
    Rose, L.M.: The Epsilon Generation Language (EGL). MEng. Thesis, Department of Computer Science, The University of York (2008)Google Scholar
  15. 15.
  16. 16.
    Java Emitter Templates (JET),
  17. 17.
    Sven Efftinge. XPand Language Reference,
  18. 18.
    Maedche, A., Motik, B., Silva, N., Volz, R.: MAFRA – A mapping framework for distributed ontologies. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS, vol. 2473, p. 235. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  19. 19.
    Bézivin, J., Brunelière, H., Jouault, F., Kurtev, I.: Model engineering support for tool interoperability. In: WISME 2005 - 4th Workshop in Software Model Engineering (2005)Google Scholar
  20. 20.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Detecting and Repairing Inconsistencies Across Heterogeneous Models. In: Proc. 1st IEEE Internationa Conference on Software Testing, Verification and Validation, Lillehammer, Norway (April 2008)Google Scholar
  21. 21.
    Fabro, M.D.D., Bezivin, J., Jouault, F., Breton, E., Gueltas, G.: AMW: A Generic Model Weaver. In: Proceedings of IDM 2005 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Nikolaos Drivalos
    • 1
    • 2
  • Dimitrios S. Kolovos
    • 1
  • Richard F. Paige
    • 1
  • Kiran J. Fernandes
    • 2
  1. 1.Department of Computer ScienceUniversity of YorkUK
  2. 2.The York Management SchoolUniversity of YorkUK

Personalised recommendations