Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

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

Arango Sánchez, Rafael Esteban (2016) Especificación en OCL de los elementos del núcleo de Semat. Maestría thesis, Universidad Nacional de Colombia - Sede Medellín.

Texto completo

[img]
Vista previa
PDF - Versión Aceptada
Available under License Creative Commons Attribution Non-commercial No Derivatives.

2MB

Resumen

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., Abstract: Semat (Software Engineering Method and Theory) is a thinking framework designed to generate a common ground. Semat is intended to gather best practices coming from several methods and represent them in kernel elements defining the general concepts of software engineering. Such elements are described in the essence of Semat with a rule-based training, operational semantics and syntax language. The graphical language includes symbols for some elements and relations between them meanwhile the textual language is described in the EBNF (Extended Backus Naur Form) style. Both languages are based on a MOF (Meta Object Facility) diagram containing restrictions in OCL (Object Constraint Language) to specify conditions. Such conditions are necessary for correctly defining the Semat kernel. Although Semat essence is an OMG standard, their languages have inconsistencies. Some studies of the state of the art are devoted to the graphical representation of several existing development methods. However, such studies are focused on the use of the Semat kernel elements from their definitions instead of consistency/completeness checking among languages. For this reason, in this M.Sc. Thesis is proposed the missing relations between the two kinds of languages of Semat, the restrictions on the diagram MOF necessary to complete the meaning of some elements of the kernel and the definitions of elements in textual language to achieve consistency with the definitions in language Natural presented in the standard. We validated the modifications suggested in this M. Sc. Thesis by using a Delphi study with positive results and significant acceptance to the proposed changes. Additionally we publish articles that present the graphical representation of practices with the elements of the kernel and the solution given to some errors of completeness in the languages defined in the standard.

Tipo de documento:Tesis/trabajos de grado - Thesis (Maestría)
Colaborador / Asesor:Zapata Jaramillo, Carlos Mario
Palabras clave:Semat, Reglas OCL, Lenguaje gráfico, Lenguaje textual, Consistencia, OCL rules, Graphical language, Textual language, Consistency
Temática:0 Generalidades / Computer science, information & general works
Unidad administrativa:Sede Medellín > Facultad de Minas > Escuela de Sistemas
Código ID:52537
Enviado por : Magister Rafael Esteban Arango Sanchez
Enviado el día :08 Junio 2016 20:19
Ultima modificación:02 May 2018 15:33
Ultima modificación:02 May 2018 15:33
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Metabiblioteca OAIster BASE BDCOL Registry of Open Access Repositories SNAAC Red de repositorios latinoamericanos eprints Open archives La referencia Tesis latinoamericanas OpenDOAR CLACSO
Este sitio web se ve mejor en Firefox