An Algebraic Semantics for MOF