Revue: | Computación y Sistemas |
Base de datos: | PERIÓDICA |
Número de sistema: | 000457626 |
ISSN: | 1405-5546 |
Autores: | Pereira Toledo, Alain1 Rodríguez Morffi, Abel1 Pérez Alonso, Alain2 Morfa Hernández, Andy1 González González, Luisa M1 |
Instituciones: | 1Universidad Central "Marta Abreu" de Las Villas, Villa Clara. Cuba 2Universidad Técnica Federico Santa María, Valparaíso. Chile |
Año: | 2020 |
Periodo: | Ene-Mar |
Volumen: | 24 |
Número: | 1 |
Paginación: | 75-95 |
País: | México |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Enfoque: | Aplicado, descriptivo |
Resumen en inglés | Traditional methods lack the necessary or appropriate means for expressing the integrity constraints during the database conceptual modeling stage. At most, integrity constraints are informally documented and then, coded in the application. This leads to late error detection and database inconsistencies due to the incapacity of the domain expert to validate the program code. Thus, it is necessary to express such constraints in a natural and formal way in order to close the gap between modelers and domain experts, and to support the transformation to other languages and models. As a result, we propose a controlled natural language based on Semantics of Business Vocabulary and Business Rules (SBVR) to help modelers and domain experts in the process of writing and validating the constraints that cannot be represented in an Entity-Relationship schema; and the Alloy language to allow a formal specification. In addition, all the correspondences between the models and languages are described in order to consistently express the constraints and to lay the foundations of the automatic transformation. Finally, a case study and a usability survey show that the proposal is feasible, without abandoning a traditional and popular approach such as the Entity-Relationship model |
Disciplinas: | Ciencias de la computación |
Palabras clave: | Inteligencia artificial, Procesamiento de datos, Programación, Lenguaje natural, Restricciones de integridad, Modelo entidad-relación, Semántica, Vocabulario, Negocios, Aleaciones |
Keyword: | Artificial intelligence, Data processing, Programming, Natural language, Integrity constraints, Entity-relationship model, Semantics, Vocabulary, Business, Alloys |
Texte intégral: | Texto completo (Ver HTML) Texto completo (Ver PDF) |