Abstract

We present and evaluate a novel constraintbasedmodel transformation approach that implements apreservation-centric view. The proposed framework comprisesformal preservation constraints that can be usedto specify the preservation of invariants that are possiblyimplemented differently in the source and target model.These invariants are enclosed in concepts, which at thesame time serve as grouping mechanism for their differentimplementations. In that, our framework abstracts fromthe concrete implementation languages by pre-supposingonly a basic set of modeling constructs. To this end, wepresent two case studies where we apply our approachfor the preservation of non-trivial properties and providesome performance analysis where we show that trackingthe preservation of a relevant class of complex propertiescan be done in linear time.