Feature models are a wide-spread approach used for expressing variability in software product lines. Answer set programming (ASP) is nowadays an increasingly popular approach to configuration knowledge representation. In this paper, we study the similarities between feature modeling and configuration knowledge representation with ASP. We define the feature configuration problem utilizing ASP, and show two different ways using an example of translating the basic feature modeling concepts embodied in the graphical feature models into ASP programs. This way we want to emphasize the role of ASP as a means to tackle the feature configuration problem.
Varvana Myllärniemi, Juha Tiihonen, Mikko Raatikainen (Aalto University) and Alexander Felfernig: Using Answer Set Programming for Feature Model Representation and Configuration
Submitted 23.6.2014