Una aproximación basada en metamodelado del área de proceso de Validación del CMMI: un caso de estudio

En el presente artículo se establece una aproximación para la mejora de procesos a través del área de proceso de validación del CMMI, mediante un enfoque basado en metamodelado. Se consideró el área de proceso de Validación, específicamente la meta SG1 preparar la validación. Mediante el metamodelo, se definen una taxonomía de proyectos, la caracterización de pruebas, plantillas de pruebas para el producto a validar, para el entorno de validación, para los procedimientos y criterios de prueba, y un plan de pruebas. La aproximación fue sometida a evaluación, por medio de un caso de estudio. El caso de estudio se llevó a cabo en la Dirección de Informática, de una institución de educación superior pública. La aproximación demostró su validez, ya que, los probadores consideran que les aporta las pruebas específicas para el desarrollo del proceso de validación y es permite preparar la validación para un proyecto determinado

Una propuesta para el descubrimiento sistemático de servicios en fases tempranas de desarrollos ágiles

El objetivo principal de la presente Tesis Doctoral será proponer en un único proceso, la formalización de un requisito, fundamentándolo en técnicas ágiles (debido a su agilidad y completitud), que pueda ser gestionado contra un Catálogo de Servicios, a fin de descubrir qué Servicios dentro del contexto, son susceptibles de ser incorporados en el desarrollo de la nueva aplicación para dar cobertura a ese requisito. El cuerpo de esta Tesis Doctoral pues, se cimenta sobre la definición de una serie de metamodelos. Para ello, se define un metamodelo en el que se formalizarán los Servicios pertenecientes al Catálogo de Servicios de dicha organización, que contendrá la funcionalidad identificada y viva, en el contexto, de forma normalizada. A su vez, se define un metamodelo de requisitos que permita la formalización ágil, temprana y completa de los nuevos requisitos. Para este punto será necesario el uso de las nuevas técnicas y metodologías ágiles que se han usado con buen resultado, precisamente, para disponer de un conjunto homogéneo de requisitos funcionales y no funcionales, completo y ágil. Como resultado de la presente Tesis Doctoral, obtenemos un proceso sistemático y coherente para el descubrimiento de los Servicios Candidatos, definiendo la relación entre los metamodelos que nos permita descubrir qué Servicios dentro del Catálogo de Servicios dan cobertura a un conjunto total o parcial de los requisitos, es decir, identificar los Servicios Candidatos para su análisis, mediante la propuesta de un algoritmo que realice las consultas entre los diferentes campos de los metamodelos basada en la puntuación de dichas búsquedas, a partir de esa correspondencia. Así mismo se plantea una arquitectura tecnológica capaz de soportar dicho proceso, el framework DS4aRE. En conclusión, esta Tesis Doctoral plantea una solución a un problema específico: realizar el proceso sistemático y coherente para el descubrimiento de los Servicios Candidatos dentro del contexto de una organización que presta Servicios, a través de la formalización de requisitos usando técnicas y metodologías ágiles a fin de identificar, dentro del Catálogo de Servicios de la organización, qué funcionalidad de los nuevos requisitos está ya contenida. Por último, el trabajo presenta la evaluación de los resultados obtenidos en un entorno de producción real, basado en la instanciación de dicha solución, cuya aplicación ha sido considerada como satisfactoria. Como aportación de la presente Tesis Doctoral obtenemos un proceso sistemático y coherente para el descubrimiento de los Servicios Candidatos, que nos permita descubrir qué Servicios dentro del Catálogo de Servicios dan cobertura a un conjunto total o parcial de los requisitos, es decir, identificar los Servicios Candidatos para su análisis. Además se obtiene en este trabajo el framework DS4aRE que soporta e implementa dicho proceso y es desplegable en una organización real. En conclusión, esta Tesis Doctoral plantea una solución a un problema específico: realizar el proceso sistemático y coherente para el descubrimiento de los Servicios Candidatos dentro del contexto de una organización que presta Servicios, a través de la formalización de requisitos usando técnicas y metodologías ágiles a fin de identificar dentro del Catálogo de Servicios de la organización que funcionalidad de los nuevos requisitos está ya contenida. Uno de los beneficios fundamentales de esta gestión ágil de requisitos dentro el Gobierno de los Servicios, desde las etapas más tempranas del desarrollo, desembocará en la eficacia y eficiencia de los recursos, del propio desarrollo software y de una mejor prestación de dichos Servicios. Desde las etapas más tempranas de la elicitación de requisitos, se conocerá qué Servicios, dentro de la organización, cubren parte de la funcionalidad, por lo que la reutilización del software se maximizará para estos desarrollos, con el consiguiente ahorro en tiempo y coste y aumentando la calidad de las nuevas aplicaciones. Así mismo, se mejora, dentro del Gobierno de TI, el gobierno de los Servicios debido a que la temprana identificación de su uso, hace posible que se puedan ejecutar las políticas adecuadas a su ciclo de vida, redundando así en un mejor control de los Servicios y por tanto mejorando la prestación de los mismos y minimizando el impacto de los sucesivos cambios de estado dentro de su ciclo de vida. Por último, el trabajo presenta la evaluación de los resultados teóricos obtenidos en un entorno de producción basado en la instanciación de la solución, cuya aplicación ha sido considerada como satisfactoria

Estudio de herramientas de desarrollo de software basado en modelos: MDA y factorías de softwre

Escueal Técnica Superior de Ingeniería de Telecomunicació

Plugin de desarrollo basado en el metamodelo SPEM, utilizando el proceso de desarrollo de software de COMPETISOFT

El correcto desarrollo de un producto de Software debe seguir ciertas pautas de manera de cumplir con los objetivos planteados en las etapas iniciales del desarrollo. Además, debe ajustarse a los tiempos y costos estimados, para obtener los beneficios que se pretende alcanzar con su concreción. A partir de esta aseveración, surge la necesidad de contar con un Proceso de Software correctamente definido. Por esto, el presente trabajo se enfocó a poder brindar un Plugin de Desarrollo, donde se modela un Proceso que representa las actividades y productos involucrados en el Proceso de Desarrollo que define COMPETISOFT. Para desarrollar el Plugin se estudió el metamodelo SPEM y para su implementación se utilizó la herramienta EPF Composer. Dicho desarrollo se complementó con el análisis de los nuevos conceptos de la Ingeniería de Procesos de Software. La presente Tesis contiene una investigación enfocada principalmente en los tres puntos que se estudiaron para realizar el Plugin, ellos son el metamodelo SPEM, la herramienta EPFC, y el modelo COMPETISOFT.Facultad de Informátic

Aplicación del ABP y aprendizaje-servicio en las asignaturas del grado y máster en Ingeniería Informática desde la semipresencialidad

El aprendizaje basado en problemas (ABP) se implantó hace varios años en las asignaturas del Grado, así como en el reciente máster en Ingeniería Informática de la UAL. La puesta en marcha de un enfoque empresarial integrando proyectos con clientes reales y otras metodologías activas como el aprendizaje-servicio, un aprendizaje colaborativo ha propiciado un entorno motivador y empresarial para el alumnado. El carácter semipresencial ha potenciado el trabajo autónomo y la tutorización del alumno. Los resultados de los alumnos en las asignaturas son muy positivos fomentando un aprendizaje duradero y facilitando la incorporación a un entorno empresarial

Estándares de la arquitectura orientada a modelos MDA, diseño de una metodología para análisis y diseño de software

Presenta el diseño de una metodología para la selección de estándares basados en el enfoque MDA que permita mejorar los procesos de desarrollo de software, contiene los estándares UML, MOF, QVT, XMI aplicados en la etapa de análisis y diseño en el proceso de desarrollo de software con MDA

Derivación de código a partir de un lenguaje específico de dominio para sistemas colaborativos

Este trabajo busca la generación de código a partir de un lenguaje específico de dominio para sistemas colaborativos llamado CSSL. Por un lado se trata de entender qué artefactos es posible generar a partir de un modelo CSSL, por otro lado se debe decidir una metodología para la generación de código, lo que incluye el análisis de múltiples herramientas. Eso requiere investigación en dos asuntos diferentes, el modelado específico de dominio y los sistemas colaborativos. El modelado específico de dominio DSM (Domain-Specific Modeling en inglés) es una metodología de la ingeniería de software cuyo propósito es crear modelos para un dominio, utilizando un lenguaje enfocado y especializado para el mismo. Los problemas del desarrollo de software (productividad, calidad, mantenimiento y documentación, etc) son enfrentados por esta metodología, que a través del aumento de nivel de abstracción intenta producir mejoras en los aspectos mencionados anteriormente. Por otro lado, los sistemas colaborativos son sistemas basados en computadoras que ayudan a un grupo de personas comprometidas en una tarea u objetivo en común, y que proveen una interfaz a un ambiente compartido. Existen características de estos sistemas que pueden ser modeladas a través de un lenguaje específico de dominio, llamado CSSL. Finalmente, en este trabajo se generan un conjunto de clases Java a partir de un modelo CSSL, con el intento de mostrar como la generación automática de código puede ayudar al desarrollo de aplicaciones colaborativas.Facultad de Informátic

Soporte de trazabilidad en el proceso de transformación de modelos

El desarrollo conducido por modelos o Model-Driven Development (MDD) es una aproximación a la Ingeniería de Software cuyo concepto central son los modelos y sus respectivas transformaciones. MDD brinda los principios básicos que permiten visualizar un sistema de software como un conjunto de modelos que son sucesivamente refinados hasta alcanzar uno con el suficiente nivel de detalle como para ser implementado. La Arquitectura Conducida por Modelos o Model-Driven Architecture (MDA) es la propuesta del Object Management Group (OMG) para MDD. Su objetivo fundamental es separar la especificación de la funcionalidad del sistema de la especificación de la implementación de dicha funcionalidad sobre una plataforma específica. La trazabilidad, como propiedad deseable de toda transformación de modelos, tiene un rol fundamental dentro del paradigma dado que la misma permite, entre otras cosas, la posibilidad de evaluar el impacto en fases avanzadas del ciclo de vida ante cambios en los requerimientos elicitados en etapas tempranas, y el mantenimiento de la consistencia entre los distintos modelos que guían el desarrollo. Este trabajo propone un esquema que permite la obtención de información de trazabilidad a partir de la definición de una transformación de modelos escrita en lenguaje QVT Relations mediante la utilización de una estrategia de inferencia de trazas definida ad hoc. Dicho proceso es totalmente automático y no depende de la ejecución de la transformación. Las principales contribuciones del estudio incluyen la minimización de los esfuerzos manuales en la gestión de trazabilidad, actividad tediosa y muy propensa a errores, y la independencia respecto de la implementación del motor QVT.Model-driven development (MDD) is a Software Engineering approach consisting of models and their transformations. MDD gives the basic principles to visualize a software system as a set of models that are repeatedly refined until a model with enough details to implement. Model-driven architecture (MDA) is the MDD view of Object Management Group. MDA main goal is to separate the system functional specification from the implementation specification on an given platform. Traceability, as a desired feature of transformations, has a major role within the paradigm since it allows the possibility to evaluate the impact at advanced stages of changes in requirement specification elicited early, and keeping consistency between models that guide the development, among other benefits. This work proposes a framework to get traceability information from a transformation definition written in QVT Relations language using a trace inference strategy defined ad hoc. This process is fully automated and does not depend on the execution of transformation. The contributions of the work include the minimization of manual efforts to achieve traceability, as error-prone and time-consuming activity, and the attainment of independence regarding the QVT engine implementation.Facultad de Informátic

Desarrollo Dirigido por Modelos (MDD) en el Contexto Educativo

The model-driven development (MDD) it’s a software paradigm development based on models used in different fields; this article present a current description about the MDD, one considers its advantages, the key points of the initiative, life cycle and the transformations it makes. Are studied projects that practice this paradigm especially in the educational context and articles that expose the impact that causes adopt it, just as the benefits of each project that implement this paradigm and its tools that support it.El desarrollo dirigido por modelos (MDD por sus siglas en inglés) es un paradigma de desarrollo de software basado en modelos, aplicados en diferentes ámbitos; en este artículo se presenta una descripción actual del MDD, se tiene en cuenta sus ventajas, los puntos claves de la iniciativa, el ciclo de vida y las transformaciones que realiza. Se estudian  proyectos que practican este paradigma especialmente en el contexto educativo y artículos que exponen el impacto que ocasiona el adoptarlo, de igual manera se exponen los beneficios de cada proyecto que ponen en práctica éste paradigma y herramientas que lo soportan