CONICET | Buscador de Institutos y Recursos Humanos

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 variabilidad ortogonal (MVO). 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 MVO, 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 MVO y detectar los problemas antes mencionados.