Title :
Product feasibility verification in software product line
Author :
Martinez, O.C. ; Gonnet, S. ; Leone, H. ; Diaz, Nelson
Author_Institution :
INGAR, UTN, Argentina
Abstract :
Nowadays, the software product lines (SPLs) are one of the production paradigm to improve the performance of the software companies. Nevertheless, SPLs have some complexity issues like the verification of product feasibility that have to be address. SPLs frequently use Orthogonal Variability Models (OVMs) to express variability in their portfolio of products. In our approach we use Petri Nets to represent and analyze OVMs and we focus on the decisions regarding with the inclusion and exclusion of variation points and variants. This approach offers a more comprehensive knowledge about the activities sequence necessary to build a product in a SPLs context. We adopt an event/condition perspective to model the dependencies using Petri nets formalism. The Petri nets bring us the capability to simulate the dynamic behavior of systems and to use many properties of them to avoid the product feasibility problems aforementioned.
Keywords :
Petri nets; formal verification; investment; software development management; OVM; Petri nets formalism; SPL; SPLs context; activity sequence; complexity issues; condition perspective; orthogonal variability models; product feasibility problems; product feasibility verification; product portfolio; production paradigm; software company performance improvement; software product line; system dynamic behavior; Abstracts; Companies; Frequency modulation; Petri nets; Production; Silicon compounds; Software; OVM; Petri nets; variability;
Conference_Titel :
Informatica (CLEI), 2012 XXXVIII Conferencia Latinoamericana En
Conference_Location :
Medellin
Print_ISBN :
978-1-4673-0794-9
DOI :
10.1109/CLEI.2012.6427224