Architecture

• The specification of model transformations will be supported by a dedicated mapping view offering generic mapping operators oranized in an extensible mapping operator library.
• The execution of model transformations will be supported by an explicit runtime model based on a variant of Coloured Petri Nets called Transformation Nets providing an integrated view on all the artefacts involved in a model transformation
• A dedicated framework called TROPIC will be provided allowing the specification and usage of mapping operatators for certain model transformation scenarios as well as the actual execution and debugging of transformations.