Grammar-based model transformations: Definition, execution, and quality properties
Approach uses grammar-based definition of languages to create quality transformations. It simplifies transformation development using structural mappings between languages. We define sufficient conditions on grammar-based transformations for their quality. Such transformations are by-construction terminating, sound, complete and deterministic.
model transformations quality properties graph grammars