Model-driven analysis and synthesis of concrete syntax

Pierre-Alain Muller (1) , Franck Fleurey (1) , Frédéric Fondement (2) , Michel Hassenforder (3) , Rémi Schneckenburger (4) , Sébastien Gérard (4) , Jean-Marc Jézéquel (1)

1 TRISKELL - Reliable and efficient component based software engineering
2 EPFL - Ecole Polytechnique Fédérale de Lausanne
3 MIPS - Modélisation, Intelligence, Processus et Système
4 DILS (CEA, LIST) - Département Ingénierie Logiciels et Systèmes

Metamodeling is raising more and more interest in the field of language engineering. While this approach is now well understood for defining abstract syntaxes, formally defining concrete syntaxes with metamodels is still a challenge. Concrete syntaxes are traditionally expressed with rules, conforming to EBNF-like grammars, which can be processed by compiler compilers to generate parsers. Unfortunately, these generated parsers produce concrete syntax trees, leaving a gap with the abstract syntax defined by metamodels, and further ad-hoc hand-coding is required. In this paper we propose a new kind of specification for concrete syntaxes, which takes advantage of metamodels to generate fully operational tools (such as parsers or text generators). The principle is to map abstract syntaxes to concrete syntaxes via bidirectional mapping-models with support for both model-to-text, and text-to-model transformations.

Domaines: Génie logiciel [cs.SE]

Pierre-Alain Muller, Franck Fleurey, Frédéric Fondement, Michel Hassenforder, Rémi Schneckenburger, et al.. Model-driven analysis and synthesis of concrete syntax. Proceedings of the MoDELS/UML 2006, Oct 2006, Genova, Italy. ⟨hal-00795597⟩