Representación de la variabilidad en líneas de productos de software empleando redes de Petri

Abstract

Se define variabilidad como la posibilidad que posee un sistema de ser extendido, cambiado, localizado, o configurado para su uso en un contexto particular. Su especificación en una línea de productos de software (LPS) es una actividad central, donde se establecen las familias de productos con sus variantes, y dependencias. Una forma de definir la variabilidad de una LPS es a través de un modelo de características (“features”, FM). Sin embargo, las familias de productos obtenidas pueden presentar ciertos problemas de inviabilidad, esto es, reglas de inclusión contradictorias que resultan en características imposibles de ser incorporadas en ningún producto. Tales inconvenientes pueden provenir tanto de errores durante la elaboración inicial del FM, como por cambios introducidos para alcanzar nuevas necesidades. En este trabajo se propone una herramienta basada en redes de Petri para representar y analizar los FMs y detectar los problemas antes mencionados.