Constraint-based Model Transformation: Tracing the Preservation of Semantic Properties


We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal preservation constraints that can be used to specify the preservation of invariants that are possibly implemented differently in the source and target model. These invariants are enclosed in… (More)


11 Figures and Tables