Model Analysis Framework - Data-flow based model analysis

Start date: 01.01.2009
Funded by: Universität Augsburg
Local head of project: Christian Saad
Local scientists: Prof. Dr. Bernhard Bauer


The goal of the "Model Analysis Framework" is to provide a core framework (based on the Eclipse Modeling Framework) along with a development environment that integrates into Eclipse, allowing the implementation of dynamic model analysis.

Data-flow analysis, which is a technique commonly used in compiler construction, serves as a basis for describing and evaluating the dynamic behavior of models. To accomplish this, DFA algorithms will be adapted so that meta model elements can be annotated with data-flow equations in the form of semantic attributes whose calculation rules are specified using OCL.

Use cases include but are not limited to the computation of the cycle time of business processes, the generation of test cases or the analysis of model metrics.