Analysis of Orthogonal Variability Model Using Petri Nets

MARTINEZ OMAR CRISTIAN; GONNET SILVIO; LEONE HORACIO

Antofagasta

Congreso; XXIX International Conference of the Chilean Computer Society; 2010

Universidad Católica del Norte

Essential tasks in software product line engineering are the definition and management of variability. Pohl et al. 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. Furthermore, our proposal emphasises that some Petri net properties are closely related with the functions to be automated.