Using Answer Set Programming for Feature Model Representation and Configuration

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 FelfernigUsing Answer Set Programming for Feature Model Representation and Configuration

Submitted 23.6.2014

http://ceur-ws.org/Vol-1220/01_confws2014_submission_14.pdf

Share on LinkedInGoogle+Tweet about this on TwitterShare on FacebookEmail to someone