We are happy to announce the first beta release of the model analysis framework. The MAF project provides a powerful analysis tool built upon the Eclipse Modeling Framework (EMF). It allows to define data-flow analysis (DFA) on (EMF) meta models using Java directives or an extended OCL syntax. The framework can then instantiate and evaluate the defined analysis for arbitrary instances of the...
