I have been involved in the development of the following tools:
This is an Eclipse-based tool for inter-modelling, an activity which consists in building models that
describe relations between modelling languages. The tool allows a high-level analysis of inter-modelling
specifications, checking conformance of models with respect to specifications, as well as manipulation
of traces by the compilation of specifications into the Epsilon Object Language.
Set of code generators to provide support for QVT-Relations based on Coloured Petri Nets.
This is a tool for deep meta-modelling. It provides support for the definition of modelling languages
with an arbitrary number of meta-levels.