Using Annotated Grammars for the Automated Generation of Program Transformers

Authors
Kim Mens, Diego Ordonez Camacho
Tags
, , , Language Engineering?
Title
Using Annotated Grammars for the Automated Generation of Program Transformers
Authors
Kim Mens, Diego Ordonez Camacho
 Using Annotated Grammars for the Automated Generation of Program Transformers.pdf Δ   1,302Kb   19 Oct 2011
Type
In Proceedings
Book title
Actes des 3es Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2007)
Pages
7-24
Editor
Antoine Beungard and Marc Pantel
Year
2007
Note
ISBN: 978-2-7261-1292-7

Abstract

When confronted with a family of different domain-specific programming languages, each with their own particular syntax but providing essentially the same semantic constructs, often the need arises to transform programs between any of these languages. This is for example the case for the domain of satellite operation languages, where every vendor or mission control centre uses its own proprietary language. In previous work, we proposed a generic technique to automatically generate program transformers between given source and target languages. Our transformer generator tool takes as input a specification of the grammar of both source and target language, tagged with specific annotations that specify the corresponding language constructs in both languages. In this paper we further validate that approach by generating program transformers between two industrial satellite operations languages. We observe that the approach falls short for more complex mappings, where a single construct in one language does not correspond directly to a single construct in the other language. To address that problem, we propose using a dedicated pre- and post-processing library and language, in which a language engineer can define how to handle such more complex mappings.

Tags Tags: , , , Language Engineering?


BibTeX Record
  @inproceedings{RELEASeD-2007-546524,
    title = {Using Annotated Grammars for the Automated Generation of Program Transformers},
    author = {Kim Men and Diego Ordonez},
    year = {2007},
    pages =  {7-24},
    booktitle = {Actes des 3es Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2007)},
    editor = {Antoine Beungard and Marc Pantel},
    note = {ISBN: 978-2-7261-1292-7},
  }