My research concerns two aspects of model driven engineering, namely representing models and transforming models.
An astounding number of modeling formalism exist, both formal and informal, and each formalism comes with its own syntax and semantics. Most formal modeling languages have a small fan base, whereas the informal modeling language UML has a very large fan base. Using the popularity of the UML to increase the use of formal modeling languages is one of my research topics.
Transforming a model written in one language to a model written in another language, without knowing the exact semantics of these languages, is dangerous. There is no guarantee that the transformation between these models preserves the meaning of the original model. My second research topic involves investigating what it takes to prove that a transformation preserves semantics. In addition, I aim to make proving such claims as easy as possible, by means of tool support.