Using Annotated Grammars for the Automated Generation of Program Transformers

Mens, Kim;Ordonez Camacho, Diego
(2007) Actes des 3es Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2007) — Location: Toulouse, France (29.March.2007)

Files

No attached file found for this publication.

Details

Authors
  • Mens, Kimorcid-logoUCLouvain
    author
  • Ordonez Camacho, DiegoUCLouvain
    author
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.
Affiliations

Citations

Mens, K., & Ordonez Camacho, D. (2007). Using Annotated Grammars for the Automated Generation of Program Transformers. In Eds. Antoine Beungard & Marc Pantel (ed.), Actes des 3es Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2007) (pp. 7-24). https://hdl.handle.net/2078.5/228085