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