Especificación en OCL de los elementos del núcleo de Semat

Semat (Teoría y Método de la Ingeniería de Software, por sus siglas en inglés) es un marco de pensamiento ideado para generar una base común, agrupando mejores prácticas pertenecientes a distintos métodos, las cuales se representan en el núcleo a partir de elementos que definen los conceptos generales de la ingeniería de software. Estos elementos se encuentran descritos en la esencia de Semat con un lenguaje basado en reglas de formación, semántica operacional y sintaxis. El lenguaje gráfico consta de símbolos para algunos elementos y las relaciones entre ellos y el lenguaje textual se describe en el estilo EBNF (Extended Backus Naur Form). Ambos lenguajes se basan en un diagrama MOF (Meta Object Facility) que contiene restricciones en OCL (Object Constraint Language) para especificar condiciones que son necesarias para una definición correcta del núcleo de Semat. Aunque la esencia de Semat es un estándar del OMG, sus lenguajes presentan inconsistencias. En la literatura se encuentran trabajos cuyo enfoque es la representación gráfica de los diferentes métodos de desarrollo existentes. Sin embargo, estos trabajos se concentran en el uso de los elementos del núcleo de Semat a partir de sus definiciones y no en la verificación de la consistencia entre lenguajes o completitud de los mismos. Por esta razón, en esta Tesis de Maestría se proponen relaciones faltantes entre los dos tipos de lenguajes, restricciones en el diagrama MOF para completar la definición de algunos elementos de Semat y definiciones en lenguaje textual de elementos necesarios para obtener consistencia con la definición en lenguaje natural presentada en el estándar. La validación de las inclusiones propuestas en esta Tesis se hace mediante un estudio Delphi, el cual presenta resultados positivos y una aceptación importante en los cambios propuestos, además de la producción de artículos que manifiestan el proceso de compresión de la representación de prácticas con los elementos del núcleo y la solución dada a algunos errores de completitud en los lenguajes definidos en el estándar.

• Autores: Arango Sánchez, Rafael Esteban
• Fecha de publicación: 2016
• Institución: Universidad Nacional de Colombia
• Repositorio: Universidad Nacional de Colombia
• Idioma: spa
• OAI Identifier: oai:repositorio.unal.edu.co:unal/56665
• Acceso en línea: https://repositorio.unal.edu.co/handle/unal/56665; http://bdigital.unal.edu.co/52537/
• Palabra clave: 0 Generalidades / Computer science, information and general works; Semat; Reglas OCL; Lenguaje gráfico; Lenguaje textual; Consistencia; OCL rules; Graphical language; Textual language; Consistency
• Rights: openAccess
• License: Atribución-NoComercial 4.0 Internacional