Analysis of Orthogonal Variability Model Using Petri Nets

OMAR CRISTIAN MARTINEZ; SILVIO GONNET; HORACIO LEONE

Antofagasta

Congreso; XXIX International Conference of the SCCC 2010; 2010

SCCC

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.