Skip to main content
SpringerLink
Log in

A Practical Evaluation of Using TXL for Model Transformation

  • Conference paper
Software Language Engineering (SLE 2008)

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

Included in the following conference series:

Abstract

As one of the MDA’s main principles, model transformation has led to the specification of QVT and a large number of model transformation tools. TXL is a generic source transformation tool that also possesses some very important model transformation properties, such as scalability and efficiency. In this paper, we consider TXL as a model transformation tool, especially, for model-to-model transformations. We first present an approach for applying TXL as a model transformation tool. An interesting feature of the approach is the automatic generation of TXL grammars from meta-models. Then, practical applications of model transformation via TXL that follow our approach are given. We conclude the paper with a preliminary evaluation of using TXL as a model transformation tool.

This work was supported by the Natural Sciences and Engineering Research Council of Canada (NSERC), Ontario Centres of Excellence (OCE), and IBM CAS Ottawa.

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. Cordy, J.: The TXL Source Transformation Language. Science of Computer Programming 61(3) (2006)

    Google Scholar 

  2. Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of Model-Driven Architecture, Anaheim, CA, USA (October 2003)

    Google Scholar 

  3. Dean, T.R., Cordy, J.R., Malton, A.J., Schneider, K.A.: Grammar programming in TXL. In: 2nd Int. Workshop on Source Code Analysis and Manipulation (SCAM 2002) (2002)

    Google Scholar 

  4. Diskin, Z., Dingel, J.: A metamodel-independent framework for model transformation: Towards generic model management patterns in reverse engineering. In: 3rd Int. Workshop on Metamodels, Schemas, Grammars, and Ontologies (2006)

    Google Scholar 

  5. Eclipse Fundation. Eclipse Graphical Modeling Framework (GMF), http://www.eclipse.org/gmf/

  6. Eclipse Fundation. Eclipse Modeling Framework Project (EMF), http://www.eclipse.org/modeling/emf/

  7. Eclipse Fundation. Eclipse UML2, http://www.eclipse.org/modeling/mdt/?project=uml2

  8. Grønmo, R., Oldevik, J.: An empirical study of the UML model transformation tool (UMT). In: First Interoperability of Enterprise Software and Applications, Geneva, Switzerland (February 2005)

    Google Scholar 

  9. ATLAS Group. Atlas transformation language, http://www.eclipse.org/m2m/atl/

  10. Object Management Group. MDA guide version 1.0.1, http://www.omg.org/docs/omg/03-06-01.pdf

  11. Object Management Group. Meta-Object Facility (MOF), version 2.0, http://www.omg.org/mof/

  12. Object Management Group. Unified Modeling Language, version 2.1.1, http://www.omg.org/technology/documents/formal/uml.htm

  13. Object Management Group. XML Metadata Interchange (XMI), version 2.1.1, http://www.omg.org/cgi-bin/doc?formal/2007-12-01

  14. Object Management Group. OMG/RFP/QVT MOF 2.0 Query/Views/ Transformations RFP (2003), http://www.omg.org/docs/ad/02-04-10.pdf

  15. Object Management Group. Object Constraint Language Specification Version 2.0 (2006), http://www.omg.org/technology/documents/formal/ocl.htm

  16. IBM. Rational Software Architect, http://www-306.ibm.com/software/awdtools/architect/swarchitect/

  17. Jouault, F., Bézivin, J., Kurtev, I.: TCS: a DSL for the Specification of Textual Concrete Syntaxes in Model Engineering. In: 5th International Conference on Generative programming and Component Engineering (GPCE 2006) (2006)

    Google Scholar 

  18. Kolovos, D., Paige, R., Polack, F.: Eclipse Development Tools for Epsilon. In: Eclipse Summit Europe, Eclipse Modeling Symposium (2006)

    Google Scholar 

  19. Lawley, M., Steel, J.: Practical declarative model transformation with tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 139–150. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  20. Liang, H., Diskin, Z., Posse, J.D.E.: A general approach for scenario integration. In: ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2008) (October 2008)

    Google Scholar 

  21. Malton, A.J.: The denotational semantics of a functional tree-manipulation language. Computer Languages 19(3), 157–168 (1993)

    Article  MATH  Google Scholar 

  22. Paige, R.F., Radjenovic, A.: Towards model transformation with TXL. In: Proc. Metamodelling for MDA Workshop, York, UK (November 2003)

    Google Scholar 

  23. Peltier, M., Bézivin, J., Guillaume, G.: MTRANS: A general framework, based on XSLT, for model transformations. In: Proceedings of the Workshop on Transformations in UML (WTUML 2001), Genova, Italy (April 2001)

    Google Scholar 

  24. AGG project. AGG system, http://tfs.cs.tu-berlin.de/agg/

  25. AToM3 project. AToM3 A Tool for Multi-formalism Meta-Modelling, http://atom3.cs.mcgill.ca/

  26. GReAT project. GReAT: Graph Rewriting And Transformation, http://www.isis.vanderbilt.edu/Projects/mobies/downloads.asp

  27. VIATRA2 project, http://dev.eclipse.org/viewcvs/indextech.cgi/gmt-home/subprojects/VIATRA2/index.html/

  28. Schürr, A., Winter, A.J., Zündorf, A.: The Progres approach: Language and environment. In: Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools. World Scientific, Singapore (1997)

    Google Scholar 

  29. Thurston, A.D., Cordy, J.R.: Evolving TXL. In: 6th Int. Workshop on Source Code Analysis and Manipulation (SCAM 2006) (2006)

    Google Scholar 

  30. Tratt, L.: The MT model transformation language. In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 2006), Dijon, France (2006)

    Google Scholar 

  31. Varró, G., Schürr, A., Varró, D.: Benchmarking for graph transformation. In: Symposium on Visual Languages and Human-Centric Computing (2005)

    Google Scholar 

  32. W3C. XSL Transformations Version 1.0, http://www.w3.org/TR/xslt

  33. Willink, E.: UMLX: A graphical transformation language for MDA. In: Workshop on Model Driven Architecture: Foundations and Applications (June 2003)

    Google Scholar 

  34. Winkelmann, J., Taentzer, G., Ehrig, K., Küster, J.M.: Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars. Electron. Notes Theor. Comput. Sci. 211, 159–170 (2008)

    Article  MATH  Google Scholar 

  35. Zhang, H., Cordy, J.: XML 1.0. Grammar and Well-formedness Checker, 2nd edn., http://www.txl.ca/nresources.html

Download references

Author information

Authors and Affiliations

  1. School of Computing, Queen’s University, Canada

    Hongzhi Liang & Juergen Dingel

Authors
  1. Hongzhi Liang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Juergen Dingel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing and Information Systems, Athabasca University, 1 University Drive, AB T9S 3A3, Athabasca, Canada

    Dragan Gašević

  2. Fachbereich 4, Institut für Informatik, Universität Koblenz-Landau, Universitätsstraße 1, B127, 56070, Koblenz, Germany

    Ralf Lämmel

  3. Department of Computer Science and Engineering, University of Minnesota, MN 55455, Minneapolis, USA

    Eric Van Wyk

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Liang, H., Dingel, J. (2009). A Practical Evaluation of Using TXL for Model Transformation. 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_16

Download citation

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

  • 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

Search

Navigation