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

Abstract

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.