The design and implementation of Object Grammars

Tijs van Der Storm (1) , William R. Cook (2) , Alex Loh (3)

1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
2 Computer Science Department [Austin]
3 University of Texas at Austin [Austin]

An Object Grammar is a variation on traditional BNF grammars, where the notation is extended to support declarative bidirectional mappings between text and object graphs. The two directions for interpreting Object Grammars are parsing and formatting. Parsing transforms text into an object graph by recognizing syntactic features and creating the corresponding object structure. In the reverse direction, formatting recognizes object graph features and generates an appropriate textual presentation. The key to Object Grammars is the expressive power of the mapping, which decouples the syntactic structure from the graph structure. To handle graphs, Object Grammars support declarative annotations for resolving textual names that refer to arbitrary objects in the graph structure. Predicates on the semantic structure provide additional control over the mapping. Furthermore, Object Grammars are compositional so that languages may be defined in a modular fashion. We have implemented our approach to Object Grammars as one of the foundations of the Ens¯ o system and illustrate the utility of our approach by showing how it enables definition and composition of domain-specific languages (DSLs).

Mots clés: domain-specific languages; model-driven development; language composition; syntax definition

Domaines: Autre [cs.OH]

Tijs van Der Storm, William R. Cook, Alex Loh. The design and implementation of Object Grammars. Science of Computer Programming, 2014, 96, pp.460 - 487. ⟨10.1016/j.scico.2014.02.023⟩. ⟨hal-01110829⟩