Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model Compilers