My objective is to define a mapping from MOF to a formal method. While there are various approaches that describe mappings UML class diagram to these formal domains, I would like to adapt this work to MOF, since MOF can be considered as a subset of UML class diagram. So, first I have to pull out the main different concepts between MOF and UML to accomplish this adaptation (Ex. MOF does not support associative classes).
Can someone help me enrich this set of dissimilarities?