Análisis de modelos de variabilidad ortogonal empleando redes de Petri

Abstract

Uno de los ejes centrales de una línea de producto de software (LPS) es la definición de su variabilidad. Ésta prescribe las características a ser incluidas y las reglas de inclusión durante la derivación de productos. Una forma de definir la variabilidad de una LPS es a través un modelo de variabilidad ortogonal (MVO). Sin embargo, las familias de productos obtenidas pueden presentar ciertos problemas de inviabilidad. En consecuencia, se propone una herramienta para representar y estudiar los MVO y detectar los problemas de inviabilidad.