Skip to main content

Engineering a DSL for Software Traceability

  • Conference paper

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

Abstract

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.

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

Buying options

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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. Eclipse.org. Eclipse Modelling Framework, http://www.eclipse.org/emf

  4. IEEE Std 610.12-1990. IEEE Standard Glossary of Software Engineering Terminology. IEEE, New York

    Google Scholar 

  5. Aizenbud-Reshef, N., Nolan, B.T., Rubin, J., Shaham-Gafini, Y.: Model Traceability. IBM Systems Journal (2006)

    Google Scholar 

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

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  12. Object Management Group. MOF QVT Final Adopted Specification, http://www.omg.org/cgi-bin/doc?ptc/05-11-01.pdf

  13. Chauvel, F., Fleurey, F.: Kermeta Language Overview, http://www.kermeta.org

  14. Rose, L.M.: The Epsilon Generation Language (EGL). MEng. Thesis, Department of Computer Science, The University of York (2008)

    Google Scholar 

  15. Oldevik, J.: MOFScript User Guide, http://www.eclipse.org/gmt/mofscript/doc/MOFScript-User-Guide.pdf

  16. Java Emitter Templates (JET), http://www.eclipse.org/modeling/m2t/

  17. Sven Efftinge. XPand Language Reference, http://www.eclipse.org/gmt/oaw/doc/4.1/r20_xPandReference.pdf

  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)

    Chapter  Google Scholar 

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

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Drivalos, N., Kolovos, D.S., Paige, R.F., Fernandes, K.J. (2009). Engineering a DSL for Software Traceability. In: Gašević, D., Lämmel, R., Van Wyk, E. (eds) Software Language Engineering. SLE 2008. Lecture Notes in Computer Science, vol 5452. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00434-6_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-00434-6_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-00433-9

  • Online ISBN: 978-3-642-00434-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics