Elimination of Constraints from Feature Trees

Broek van den, Pim 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.

Preview

PDF
239Kb

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:	Software Engineering (SE)
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

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 251190