DocumentCode :
3187472
Title :
Product feasibility verification in software product line
Author :
Martinez, O.C. ; Gonnet, S. ; Leone, H. ; Diaz, Nelson
Author_Institution :
INGAR, UTN, Argentina
fYear :
2012
fDate :
1-5 Oct. 2012
Firstpage :
1
Lastpage :
10
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Informatica (CLEI), 2012 XXXVIII Conferencia Latinoamericana En
Conference_Location :
Medellin
Print_ISBN :
978-1-4673-0794-9
Type :
conf
DOI :
10.1109/CLEI.2012.6427224
Filename :
6427224
Link To Document :
بازگشت