Papers by Alain Pereira Toledo
Los metodos tradicionales carecen de los medios necesarios para la expresion de la mayoria de los... more Los metodos tradicionales carecen de los medios necesarios para la expresion de la mayoria de los requisitos obtenidos durante la fase de modelacion conceptual, lo cual conduce a la deteccion tardia de errores que por naturaleza son conceptuales y, en consecuencia, a implementaciones poco autenticas. Por tanto, es necesario expresar tales requisitos de una manera natural pero con una base formal, y asi cerrar la brecha que existe entre analistas del negocio y expertos del dominio, y tambien que ayude en la transformacion automatica hacia otros lenguajes y modelos. En consecuencia, se propuso elaborar un metodo para expresar las restricciones de integridad derivadas de reglas de negocio mediante un lenguaje natural controlado basado en la especificacion de SBVR, dado un esquema Entidad-Relacion que represente la estructura de la informacion. La propuesta se analizo a traves de un caso de estudio para mostrar su viabilidad. Como resultado, se obtuvo un conjunto de plantillas para ayud...
En la practica los esquemas Entidad Interrelacion generados durante la modelacion conceptual no s... more En la practica los esquemas Entidad Interrelacion generados durante la modelacion conceptual no son capaces de especificar restricciones, necesarias para garantizar la integridad de un sistema de informacion. Aunque han existido intentos, la comunidad de disenadores de bases de datos no ha adoptado una practica para el diseno de la integridad de un sistema de informacion dado un esquema entidad interrelacion del universo de discurso. Por tanto es necesario seleccionar un lenguaje con gran nivel de captacion semantica para especificar restricciones. Para ello se eligio el lenguaje natural controlado RuleSpeak, unido al Semantic of Business Vocabulary and Rules. Finalmente, se muestra la especificacion de aquellas restricciones de integridad definidas por el modelador e impuestas por un agente autorizado del negocio.
Las grandes bases de datos son un reto hoy en dia, ya que existe la necesidad de algoritmos de pr... more Las grandes bases de datos son un reto hoy en dia, ya que existe la necesidad de algoritmos de procesamiento mas rapidos y confiables. Cuando se utilizan tecnicas de aprendizaje automatizado, a menudo involucra un alto costo computacional asociado con el tiempo de entrenamiento; pero no es necesario un nuevo algoritmo si se selecciona el apropiado. Por esta razon, el presente articulo se propone como objetivo: realizar un estudio experimental para comparar un algoritmo conocido y simple llamado Voting Feature Intervals (VFI), con otros influyentes clasificadores, con base en la precision de la clasificacion. La experimentacion se llevo a cabo mediante la herramienta WEKA, y se utilizo la metodologia estadistica de Demsar para evaluar los resultados. Finalmente, se mostro que su comportamiento, en cuanto a la correctitud de la clasificacion, no es significativamente peor que otros algoritmos bien conocidos, mientras que su entrenamiento y tiempo de clasificacion es lo suficientemente...
In practice, Entity Relationship schemes generated during conceptual modeling phase are not able ... more In practice, Entity Relationship schemes generated during conceptual modeling phase are not able to specify many of the constraints, to ensure the integrity of an information system. Although there have been attempts, the community of database designers has not adopted a practice for the design of integrity of an information system, from an ER Revista Cubana de Ciencias Informáticas Vol. 8, No. 3, Julio-Septiembre, 2014 ISSN: 2227-1899 | RNPS: 2301 Pág. 1-11 http://rcci.uci.cu Editorial “Ediciones Futuro” Universidad de las Ciencias Informáticas. La Habana, Cuba [email protected] 2 diagram of the universe of discourse. Therefore, it is necessary to select a semantically rich language, to specify constraints. In response, the controlled natural language RuleSpeak, bound to Semantic of Business Vocabulary and Rules was selected. Finally, the specification of integrity constraints defined by the modeler and imposed by an authorized business agent is shown. This approach helps to cover a lack...
The Entity Relationship model (ER) has become one of the most popular tools in database design. B... more The Entity Relationship model (ER) has become one of the most popular tools in database design. But in practice, schemes generated during conceptual modeling stage are unable to specify rules to ensure in-formation systems integrity. Therefore it is necessary to select a high semantic level language for representing business constraints. Then, constraints must be transformed into integrity constraints (IC) in a technical language for specifying constraints. We selected SBVR as a proper language for representing constraints with a high se-mantic level and to Alloy as a technical language for ICs specification. Finally, we show the transformation of explicit conditional deontic integrity constraints.
In practice, Entity Relationship schemes generated during conceptual modeling phase are not able ... more In practice, Entity Relationship schemes generated during conceptual modeling phase are not able to specify many of the constraints, to ensure the integrity of an information system. Although there have been attempts, the community of database designers has not adopted a practice for the design of integrity of an information system, from an ER diagram of the universe of discourse. Therefore, it is necessary to select a semantically rich language, to specify constraints. In response, the controlled natural language RuleSpeak, bound to Semantic of Business Vocabulary and Rules was selected. Finally, the specification of integrity constraints defined by the modeler and imposed by an authorized business agent is shown. This approach helps to cover a lack of ER model in representing integrity, and helps in the understanding between the technical and business personnel.
Computación y Sistemas, 2020
Traditional methods lack the necessary or appropriate means for expressing the integrity constrai... more 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.
The validity and completeness are two fundamental data properties for any information system. The... more The validity and completeness are two fundamental data properties for any information system. These integrity specifications are traditionally been directly implemented by programmers, in the final code of systems. Current development visions arise automatically generation and obtain several advantages. This paper addressing these benefits and various integrity constraints classifications, in addition explains and demonstrates, by examples, how to implement them into the relational database design from Entity Interrelationship Model (ERM). Constraints are defined in a language that is widely recognized and be redefined for the ERM. The re-sources used for their generation are standard and can be used on all database managers systems. RESUMEN: La validez y totalidad son dos propiedades fundamentales de los datos que cualquier sistema de información debe garantizar. Estas especificaciones de integridad tradicionalmente han sido implementadas por programadores directamente en el código...
En la práctica los esquemas Entidad Interrelación generados durante la modelación conceptual no s... more En la práctica los esquemas Entidad Interrelación generados durante la modelación conceptual no son capaces de especificar restricciones, necesarias para garantizar la integridad de un sistema de infomación. Aunque han existido intentos, la comunidad de diseñadores de bases de datos no ha adoptado una práctica para el diseño de la integridad de un sistema de información dado un esquema entidad interrelación del universo de discurso. Por tanto es necesario seleccionar un lenguaje con gran nivel de captación semántica para especificar restricciones. Para ello se eligió el lenguaje natural controlado RuleSpeak, unido al Semantic of Business Vocabulary and Rules. Finalmente, se muestra la especificación de aquellas restricciones de integridad definidas por el modelador e impuestas por un agente autorizado del negocio.Palabras clave: lenguaje natural, restricciones de integridad, RuleSpeak, SBVR, sistemas de información.
YAYABOCIENCIA 2013, 2da Conferencia Científica Internacional de la UNISS, Nov 2013
En la práctica los esquemas Entidad Interrelación (ER) generados durante la modelación conceptual... more En la práctica los esquemas Entidad Interrelación (ER) generados durante la modelación conceptual no son capaces de especificar reglas necesarias para garantizar la integridad de un sistema de información (SI). Aunque han existido intentos, la comunidad de diseñadores de BDs no ha adoptado una práctica para el diseño de la integridad de un SI dado un esquema ER del universo de discurso (UoD). Por tanto es necesario seleccionar un lenguaje con gran nivel de captación semántica para especificar restricciones. Para ello se eligió el lenguaje natural controlado RuleSpeak, unido al Semantic of Business Vocabulary and Rules (SBVR). Finalmente, se muestra la especificación de aquellas restricciones de integridad (RI) definidas por el modelador e impuestas por un agente autorizado del UoD.
II Conferencia Internacional de Ciencias Computacionales e Informáticas CICCI 2013, 2013
The Entity Relationship model (ER) has become one of the most popular tools in database design. B... more The Entity Relationship model (ER) has become one of the most popular tools in database design. But in practice, schemes generated during conceptual modeling stage are unable to specify rules to ensure information systems integrity. Therefore it is necessary to select a high semantic level language for representing business constraints. Then, constraints must be transformed into integrity constraints (IC) in a technical language for specifying constraints. We selected SBVR as a proper language for representing constraints with a high semantic level and to Alloy as a technical language for ICs specification. Finally, we show the transformation of explicit conditional deontic integrity constraints.
Congreso Internacional COMPUMAT 2013, Nov 2013
In practice, schemes generated during conceptual modeling stage are unable to specify rules to en... more In practice, schemes generated during conceptual modeling stage are unable to specify rules to ensure information systems integrity. Although there have been attempts, the DBs designers community has not adopted a practice for the design of the integrity of an information system, given an ER diagram of the universe of discourse. Therefore it is necessary to select a high semantic level language for representing business constraints. Then, constraints must be transformed into integrity constraints (IC) in a technical language for specifying constraints. We selected SBVR as a proper language for representing constraints with a high semantic level and to Alloy as a technical language for ICs specification. Finally, we show the transformation of explicit conditional deontic integrity constraints.
Uploads
Papers by Alain Pereira Toledo