Desarrollo de un interfaz gráfico basado en EMF para el modelado de Petri net Product Lines

Abstract

Un sistema concurrente es aquel que tiene varios elementos que pueden hacer su trabajo en paralelo. La importancia de formar correctamente uno de estos sistemas, reside en la cantidad de tiempo y recursos que se puede optimizar. Una red de Petri es una forma de modelar y analizar sistemas concurrentes. Sin embargo, la representación de variantes de un mismo sistema concurrente, reduciendo o aumentando este, no se puede realizar mediante una única red de Petri estándar. Como solución es posible incluir flujos alternativos (Líneas de Producto) a redes de Petri cuya activación permite representar múltiples redes en un mismo modelo. Una Línea de Producto es un conjunto de productos que tienen unas propiedades comunes pero que difieren en ciertos aspectos particulares. Estos últimos se denominan feature y si afectan a una propiedad del producto concreto, cada feature puede ser tratada como una variable lógica. Llevando al terreno de las redes de Petri estas definiciones, una Petri net Product Line (PNPL) es una línea de productos de redes de Petri. En la actualidad, no existen herramientas que permitan el modelado grafico de PNPL. Con el fin de solventar este problema, el objetivo principal de este Trabajo de Fin de grado es crear una herramienta de modelado de PNPL que funcione como un complemento del Entorno de Desarrollo Eclipse. Para ello, se usaron la generación de archivos basada en proyectos de modelado que proporciona Eclipse Modeling Framework (EMF) y Sirius, un complemento de Eclipse que sirve para generar herramientas de diseño. Además, tras la finalización de un modelo con la herramienta, se deberá obtener una serie de ficheros que serán usados para el análisis de PNPL y que deberán cumplir el estándar de compatibilidad entre aplicaciones de redes de Petri llamado Petri Net Markup Language (PNML). A lo largo de este documento, se detalla el desarrollo paso a paso de todos los elementos que conforman los dos objetivos. Inicialmente se ofrecen una serie de motivaciones y conocimientos básicos asociados al proyecto. A continuación, se hace un breve recorrido del estado del arte y después se procede con el diseño y desarrollo de las tareas. Finalmente se detallan de forma breve las pruebas que se han ido haciendo a lo largo del desarrollo y unas conclusiones