Análisis de Modelos de Variabilidad Ortogonal empleando Redes de Petri

OMAR CRISTIAN MARTINEZ; SILVIO GONNET; HORACIO LEONE

Buenos Aires

Simposio; 39 JAIIO - Simposio Argentino de Ingeniería de Software (ASSE 2010); 2010

SADIO

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 individuales. Una forma de definir la variabilidad de una LPS es a través un modelo de variabilidad ortogonal (MVO) [3]. 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 para representar y estudiar los MVO y detectar los problemas antes mencionados.