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 i dynamic behavior.
FPlus is an application that implements several database theory algorithms such as Fmin, tableaux, normalization, attribute closure, key calculation, efficiency, etc.
Test the applet at:
http://fplus.sourceforge.net