Transformación de las restricciones OCL de un esquema UML a consultas de SQL

En la actualidad existen muchos métodos y herramientas que permiten la generación automática y completa del código de una aplicación a partir de un diagrama en UML. El lenguaje UML (Unified Modeling Language, Lenguaje Unificado de Modelado) es un lenguaje visual cuyo uso más extendido es documentar, construir y especificar los modelos del sistema. Todas estas herramientas son capaces de generar clases en Java o tablas en un Sistema de Gestión de Bases de Datos (DBMS, DataBase Management System) a partir de un diagrama de clases UML. El problema surge debido a que la mayoría de estas herramientas tienen poca consideración sobre las restricciones de integridad, a pesar que según se define en las restricciones de integridad son una parte fundamental de la especificación de una aplicación y por lo tanto tienen que tenerse en cuenta durante su implementación. En base a esto, el lenguaje OCL (Object Constraint Language, Lenguaje de Especificación de Objetos) es un lenguaje conceptual que complementa al UML y cuyo uso más extendido es el que se da en la definición de restricciones libres de efectos colaterales para el diagrama de clases. Por todo lo anterior, se ha decidido crear una herramienta para ayudar a los desarrolladores de bases de datos y que sea capaz de transformar las restricciones de integridad realizadas en OCL a consultas SQL Standard que comprueben si esas restricciones se cumplen o no. Como las transformaciones no son triviales se va a necesitar un programador experto que sea capaz de diseñar las reglas que permitan dicha transformación. Las consultas generadas contendrán los datos que no cumplen la restricción, por lo tanto si al ejecutar esta consulta obtenemos datos significará que la restricción no se está cumpliendo. En el caso de que no se devuelvan datos significa que la base de datos cumple la restricción.Ingeniería Informátic