Elimination of Constraints from Feature Trees


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
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
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
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 251190