METAMODELS

In today's software engineering world, languages are only as good as their supporting tools, and engineering processes are only as good as the languages used in them. New engineering paradigms, domain specific engineering, and the general call for more efficient software engineering cause a high demand for new programming and modelling languages including high quality language tools... Over the last years, we developed a framework to specify operational semantics for MOF metamodels. Main goal is the dynamic analysis of executable models through simulation, testing and other means of validation. Build on top of eclipse EMF Ecore/MDT OCL for the implementation, the framework is centered around the MActions language which is an extension to the MOF meta-metamodel that enhance the possibilities to precisely define models with their executable behaviour.