Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing different abstraction levels together with an extensible library of predefined transformations and a dedicated runtime model in terms of Coloured Petri Nets for transformation execution and debugging. Categories and Subject Descriptors D.2.6 [Software Engineering]: Programming Environments—Graphical env. General Terms Design, Languages Keywords Model Transformation, Colored Petri Nets