Automated Reasoning on Feature Models via Constraint Programming
Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Feature models are often used in software product lines to represent a set of products and reason over their properties, similarities and differences, costs, etc. The problem becomes automating such reasoning which translates into a positive impact in terms of production, cost, and creation of the final products. To approach this matter we take advantage of the benefits of the constraint programming technology, which has proven to be most effective when solving problems of large complexity. Throughout the thesis we state the reasons for choosing this tool, evaluating its advantages and drawbacks, and showing results that support the conveniences of using constraint programming.
Keywords: feature models, software product lines, constraint programming.
Place, publisher, year, edition, pages
IT, 11 041
IdentifiersURN: urn:nbn:se:uu:diva-156437OAI: oai:DiVA.org:uu-156437DiVA: diva2:431605
Master Programme in Computer Science
Pearson, JustinJansson, Anders