Formal UML Metamodel Implementation