Pérez Alonso, AlainGonzález González, Luisa ManuelaPereira Toledo, Alain2016-07-052016-07-052015-07-05https://dspace.uclv.edu.cu/handle/123456789/6124En 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.esEste documento es Propiedad Patrimonial de la Universidad Central “Marta Abreu” de Las Villas. Los usuarios podrán hacer uso de esta obra bajo la siguiente licencia: Creative Commons: Atribución-No Comercial-Compartir Igual 4.0 LicenseEntidad InterrelaciónModelado ConceptualSistema de InformaciónThesis