model-analysis-framework - This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF / UML) models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of its dynamic behavior
This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF / UML) models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of its dynamic behavior