OVM2PN: Herramienta de análisis de configuraciones en Líneas de Productos de Software

Abstract

Uno de los ejes centrales de una línea de producto de software (LPS) es la definición de su variabilidad. Esta prescribe las características a ser incluidas y las reglas de inclusión durante la derivación de productos individuales. Una forma de definir la variabilidad de una LPS es a través de un modelo de variabilidad ortogonal (OVM). 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. En este trabajo se propone una herramienta para representar, estudiar y detectar los problemas de inviabilidad en un OVM.