Las restricciones de integridad en el modelado conceptual ER
Archivos
Fecha
2015-07-05
Autores
Pereira Toledo, Alain
Título de la revista
ISSN de la revista
Título del volumen
Editor
Universidad Central “Marta Abreu” de Las Villas. Facultad de Matemática, Física y Computación. Departamento Ciencias de la Computación
Resumen
En la práctica los esquemas Entidad Interrelación generados durante el modelado
conceptual no son capaces de especificar muchas de las restricciones que gobiernan el
universo de discurso, y que son necesarias para garantizar la integridad de un sistema de
información. Aunque han existido intentos, la comunidad de diseñadores de bases de datos
no ha adoptado aún una práctica para la expresión de las restricciones no asumidas por el
modelo Entidad Interrelación. Por tanto es necesario identificar el lenguaje adecuado para
expresar las restricciones de integridad de forma natural durante el modelado conceptual
ER del universo de discurso. Luego se deben transformar en un lenguaje para representar
restricciones de integridad de forma precisa y formal. Para ello se seleccionó RuleSpeak
basado en SBVR, como el lenguaje apropiado para la expresión de restricciones de forma
natural, y al Alloy como el lenguaje de representación. Finalmente se muestra la
arquitectura, las reglas y el proceso para la transformación de restricciones explícitas,
deónticas y condicionales de integridad expresadas en SBVR/RuleSpeak basadas en un
esquema ER, hacia un esquema en Alloy.
Descripción
Palabras clave
Entidad Interrelación, Modelado Conceptual, Sistema de Información