OCL-Lite: Finite reasoning on UML/OCL conceptual schemas | Publicación