Estudi d'eines CASE que suporten OCL per a la generació automàtica de codi Java

Abstract

Es tracta d'una recerca d'eines CASE que actualment suporten OCL en la generació automàtica de codi Java per estudiar-les i analitzar-les a través d'un model de proves consistent en un diagrama de classes del model estàtic de l'UML i una mostra variada d'instruccions OCL, amb l'objectiu de detectar les seves mancances, analitzant el codi obtingut i determinar si controla o no cada tipus de restricció, 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.