ESPORA : Definición de lenguajes de operación específicos de dominio siguiendo un proceso de desarrollo dirigido por modelos

Abstract

Esta monografía se enmarca dentro del programa de creación y consolidación de Grupos de Investigación de la UPM, Modalidad B, concretamente en el proyecto CCG07-UPM/TIC-1438 “Entorno Reconfigurable para la validación de sistemas autónomos” de nombre RETVAS: Reconfigurable Testing Environment for Validation of Autonomic Systems. Como actividad propuesta en el desarrollo de dicho proyecto se incluyó la realización de una serie de proyectos fin de carrera por parte de estudiantes de últimos cursos de las titulaciones de Ingeniero Técnico en Informática de Sistemas e Ingeniero Técnico en Informática de Gestión, ambas pertenecientes a la UPM. Siguiendo la línea marcada, el presente documento contiene parte de los resultados obtenidos en el desarrollo del Proyecto Fin de Carrera por parte alumno, becado en el proyecto RETVAS, D. David Musat Salvador, estudiante de la Escuela Universitaria de Informática de la Universidad Politécnica de Madrid. Dicho Proyecto Fin de Carrera está siendo codirigido por los profesores Dra. Jennifer Pérez Benedí y Dr. Pedro P. Alarcón Cavero, ambos integrantes del grupo de investigación Syst de la UPM, y siendo investigadora principal e investigador participante respectivamente del proyecto RETVAS.
El objetivo del trabajo que aquí se presenta es el de generar una herramienta mediante un proceso de desarrollo software dirigido por modelos (MDD: Model Driven Development) que facilite la creación de lenguajes específicos de dominio orientados a la operación de sistemas intensivos software en general, y de sistemas autónomos en particular. La definición de este tipo de lenguajes se realizará de forma completamente gráfica e intuitiva por parte de los usuarios (operadores) que podrán tener un buen conocimiento del dominio específico objeto de aplicación, y dónde no sea necesario dominar técnicas ni herramientas software para la definición de lenguajes de este tipo. Los lenguajes de operación específicos de dominio obtenidos permitirán la operación, monitorización y pruebas de sistemas con software. Y constituirán la entrada necesaria para generar dinámicamente un entorno de operación y pruebas, basado en el concepto TOPEN, desarrollado en el grupo de investigación Syst de la UPM (http://syst.eui.upm.es).
Este documento constituye una primera versión que refleja algunos de los resultados obtenidos hasta el momento en el desarrollo de un entorno reconfigurable orientado a la operación, monitorización y validación de sistemas autónomos. El documento se irá actualizando en futuras versiones con avances que se vayan produciendo en esta línea de investigación.
El contenido de este documento se ha estructurado del siguiente modo:

En el punto 2, se introducen los conceptos fundamentales en los que se apoya el Desarrollo Dirigido por Modelos.

En el punto 3 se describen brevemente algunas de las herramientas de gestión de modelos, y se profundiza en GMF (Graphical Modeling Framework) para Eclipse.

En el punto 4 se describe el metamodelo de operaciones del sistema en el que se basa la herramienta de definición de lenguajes de operación específicos de dominio, esto es, la herramienta ESPORA.

El punto 5 se detalla tanto el proceso de desarrollo de la herramienta ESPORA, como de su utilización y funcionamiento.

En el punto 6, se aporta un caso de estudio basado en una planta de producción de biogás, que permite utilizar ESPORA como herramienta para facilitar la definición del lenguaje de operaciones de plantas de biogás.