Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel