Automatic Definition of Model Transformations at Instance Level

A model transformation is the generation of a target model from a source model. Usually, it is defined for metamodels, i.e. models at the meta-level, and executed by a transformation engine to transform instances of those metamodels. In some cases, it is also desired to transform the instances of the transformed models. In this paper, we use the Diagram Predicate Framework to show how model transformations which are defined at the metamodel level can be used as guidelines to automatically define model transformations at the model level. This requires a special relationship between the metamodel and the instances of its instances in order to inherit all the properties of the transformations from the metamodel level. A formalisation of this relationship is outlined in this paper.