INGAR   05399
INSTITUTO DE DESARROLLO Y DISEÑO
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Analysis of Orthogonal Variability Model Using Petri Nets
Autor/es:
OMAR CRISTIÁN MARTÍNEZ; SILVIO GONNET; HORACIO LEONE
Lugar:
Antofagasta
Reunión:
Congreso; XXIX International Conference of the SCCC 2010; 2010
Institución organizadora:
Sociedad Chilena de Ciencias de la Computación
Resumen:
Essential tasks in software product line engineering are the definition and management of variability. Pohl et al. [1] propose the orthogonal variability model (OVM) for defining the variability in a separate model. Although the automated analysis of OVM is not new, recent researchers have been focused mainly on logic formalism. In this work we introduce a Petri net approach to support automated analysis of OVM following the functions identified in the Feature-Oriented Domain Analysis report [2]. Furthermore, our proposal emphasises that some Petri net properties are closely related with the functions to be automated.