Es tracta d'una recerca d'eines CASEque actualment suporten OCL en la generació automàtica de codi Java per estudiar-les ianalitzar-les a través d'un model de proves consistent en un diagrama de classes del modelestàtic de l'UML i una mostra variada d'instruccions OCL, amb l'objectiu de detectar lesseves mancances, analitzant el codi obtingut i determinar si controla o no cada tipus derestricció, i si s'han implementat bé en el codi.

Se trata de una búsqueda de herramientas CASE que actualmente soportan OCL en la generación automática de código Java para estudiar y analizar a través de un modelo de pruebas consistente en un diagrama de clases del modelo estático del UML y una muestra variada de instrucciones OCL, con el objetivo de detectar sus carencias, analizando el código obtenido y determinar si controla o no cada tipo de restricción, y si se han implementado bien en el código.

This is a CASE tool search that currently supports OCL in the automatic generation of Java code for their study and analysis by means of a test model consisting of a diagram of classes of the UML static model and a varied sample of OCL instructions, for the purpose of detecting their deficiencies, analyzing the obtained code and determining whether or not it controls each type of restriction, and whether they have been correctly installed in the code.