Skip to main content
SpringerLink
Log in
Book cover

International Conference on Theory and Practice of Model Transformations

ICMT 2013: Theory and Practice of Model Transformations pp 50–51Cite as

On an Automated Translation of Satellite Procedures Using Triple Graph Grammars

  • Conference paper

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

Abstract

Model transformation based on triple graph grammars (TGGs) is a general, intuitive and formally well defined technique for the translation of models [5,6,2]. While previous concepts and case studies were focused mainly on visual models of software and systems, this article describes an industrial application of model transformations based on TGGs as a powerful technique for software translation using the tool Henshin [1]. The general problem in this scenario is to translate source code that is currently in use into corresponding source code that shall run on a new system. Up to now, this problem was addressed based on manually written converters, parser generators, compiler-compilers or meta-programming environments using term rewriting or similar techniques (see e. g. [4]).

Keywords

  • Model Transformation
  • Mapping Document
  • Satellite Control
  • Automate Translation
  • Abstract Syntax Tree

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   72.00
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

References

  1. The Eclipse Foundation: EMF Henshin – Version 0.9.4 (2013), http://www.eclipse.org/modeling/emft/henshin/

  2. Hermann, F., Ehrig, H., Golas, U., Orejas, F.: Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. In: Model Driven Interoperability (MDI 2010), pp. 22–31. ACM (2010)

    Google Scholar 

  3. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming 72, 31–39 (2008)

    CrossRef  MathSciNet  MATH  Google Scholar 

  4. Klint, P., van der Storm, T., Vinju, J.: EASY meta-programming with Rascal. In: Fernandes, J.M., Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 222–289. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  5. Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1995)

    CrossRef  Google Scholar 

  6. Schürr, A., Klar, F.: 15 years of triple graph grammars. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 411–425. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  7. SES Engineering: SPELL - Satellite Procedure Execution Language & Library – Version 2.3.13 (2013), http://code.google.com/p/spell-sat/

Download references

Author information

Authors and Affiliations

  1. Interdisciplinary Centre for Security, Reliability and Trust, Université du Luxembourg, Luxembourg

    Frank Hermann, Susann Gottmann, Nico Nachtigall, Benjamin Braatz & Thomas Engel

  2. SES, Luxembourg

    Gianluigi Morelli & Alain Pierre

Authors
  1. Frank Hermann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Susann Gottmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Nico Nachtigall
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Benjamin Braatz
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Gianluigi Morelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Alain Pierre
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Thomas Engel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Queensland University of Technology, 4000, Brisbane, QLD, Australia

    Keith Duddy

  2. Vienna University of Technology, 1040, Vienna, Austria

    Gerti Kappel

Rights and permissions

Reprints and Permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hermann, F. et al. (2013). On an Automated Translation of Satellite Procedures Using Triple Graph Grammars. In: Duddy, K., Kappel, G. (eds) Theory and Practice of Model Transformations. ICMT 2013. Lecture Notes in Computer Science, vol 7909. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38883-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-38883-5_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-38882-8

  • Online ISBN: 978-3-642-38883-5

  • eBook Packages: Computer ScienceComputer Science (R0)

search

Navigation