Model Driven analysis and synthesis of textual concrete syntax

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

1 TRISKELL - Reliable and efficient component based software engineering
2 MIPS - Modélisation, Intelligence, Processus et Système
3 SINTEF Digital - Stiftelsen for INdustriell og TEknisk Forskning Digital [Trondheim]
4 LIST (CEA) - Laboratoire d'Intégration des Systèmes et des Technologies

Meta-modeling 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 textual concrete syntaxes with meta-models is still a challenge. Textual 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 meta-models, 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 meta-models to generate fully operational tools (such as parsers or text generators). The principle is to map abstract syntaxes to textual concrete syntaxes via bidirectional mapping-models with support for both model-to-text, and text-to-model transformations.

Keywords: MDD; MDE; Language engineering; Meta-modeling

Domains: Software Engineering [cs.SE]

Pierre-Alain Muller, Frédéric Fondement, Franck Fleurey, Michel Hassenforder, Rémi Schnekenburger, et al.. Model Driven analysis and synthesis of textual concrete syntax. Software and Systems Modeling, 2008, 7 (4), pp.423--442. ⟨10.1007/s10270-008-0088-x⟩. ⟨inria-00468231⟩