Kermeta

Kermeta workbench is a powerful metaprogramming environment based on an model-oriented language optimized for metamodel engineering and DSL engineering.
Kermeta features a comprehensive environment for simplifying activities like :

• specification of abstract syntax, static semantic (OCL) and dynamic semantics as well with connexion to the concrete syntax. (Ie. define the behavior of a metamodel)
• model and meta-model simulation and prototyping
• model transformation
• model checking
• aspect weaving