Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation


Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a declarative and relational style with a formal underpinning able to show properties of the transformation. Pattern-based transformation is an algebraic, bidirectional, and relational approach… (More)
DOI: 10.1007/978-3-642-03741-2_26


6 Figures and Tables

Slides referencing similar topics