Elimination of Constraints from Feature Trees


Share/Save/Bookmark

Broek, Pim van den and Galvão, Ismênia and Noppen, Joost (2008) Elimination of Constraints from Feature Trees. In: 12th International Software Product Line Conference, SPLC 2008, September 8-12, 2008, Limerick, Ireland (pp. pp. 227-232).

open access
[img]
Preview
PDF
245kB
Abstract:We present an algorithm which eliminates constraints from a feature model whose feature diagram is a tree and whose constraints are "requires" or "excludes" constraints. The algorithm constructs a feature tree which has the same semantics as the original feature model. The computational complexity of the algorithm is exponential in the number of constraints, but linear in the number of features. The algorithm allows to efficiently compute properties of product lines whose feature model consists of a feature tree and a small number of "requires" and "excludes" constraints. An executable specification of the algorithm is given in the functional programming language Miranda.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/64986
Official URL:http://www.isa.us.es/aspl08/?download=W5_P07_VanDenBroek_Elimination_of_Constraints_from_Feature_Trees.pdf
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 251190