Título: Methodological integration of Communication Analysis into a model-driven software development framework
Autor: Sergio España Cubillo
Directores: Óscar Pastor López y Arturo González del Río Rams
Resumen:
Es ampliamente reconocido que el desarrollo de tecnologías de la información y la comunicación conlleva numerosos riesgos. A pesar de los avances en la ingeniería del software, gran parte de los proyectos de desarrollo de software fracasan en satisfacer las necesidades de los clientes, se exceden en tiempo o sobrepasan el presupuesto. La práctica inadecuada de ingeniería de requisitos destaca entre los factores que influyen en este fracaso. El desarrollo dirigido por modelos es un paradigma relativamente reciente con el potencial de aliviar algunos de los problemas recurrentes del desarrollo de software. Proporciona varias capas de modelado que permiten definir vistas del sistema en construcción con diferentes niveles de abstracción y se apoya en transformaciones de modelos que facilitan la transición de una capa a la otra. En cualquier caso, sigue siendo un reto de investigación abierto cómo integrar de manera efectiva la ingeniería de requisitos en el desarrollo dirigido por modelos. Esta tesis integra el Análisis de Comunicaciones, un método de modelado de procesos de negocio e ingeniería de requisitos orientado a comunicaciones, y OO-Method, un método de desarrollo de software dirigido por modelos que provee generación automática de código a partir de modelos conceptuales. En primer lugar, proporcionamos una especificación detallada del Análisis de Comunicaciones con al intención de facilitar la posterior integración; entre otras mejoras al método, fundamentamos el método en un conjunto de definiciones de conceptos basadas en una ontología de referencia, creamos un metamodelo para los lenguajes de modelado incluidos en el método y proveemos de herramientas para soportar la creación de los modelos de requisitos. En segundo lugar llevamos a cabo la integración proporcionando una técnica para derivar sistemáticamente modelos conceptuales de OO-Method a partir de modelos de requisitos de Análisis de Comunicaciones. La técnica de derivación se ofrece en dos formatos: un conjunto de reglas de derivación para ser aplicadas manualmente por un analista humano y una transformación de modelos implementada en ATL que automatiza esta tarea. Las propuestas descritas en esta tesis se han validado de diversas maneras, abarcando desde evaluaciones teóricas como el análisis ontológico hasta evaluaciones empíricas como experimentos controlados. Los resultados demuestran los beneficios del Análisis de Comunicaciones y el éxito de su integración con OO-Method. Evidentemente, existen numerosos aspectos mejorables que abordaremos en trabajos futuros, pero el resultado ha cumplido los objetivos de investigación e ingeniería iniciales.