Optimization of Product Instantiation using Integer Programming

P.M. van den Broek

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)
    228 Downloads (Pure)


    We show that Integer Programming (IP) can be used as an optimization technique for the instantiation of products of feature models. This is done by showing that the constraints of feature models can be written in linear form. As particular IP technique, we use Gomory cutting planes. We have applied this technique to a test suite of feature models from the literature, and found that the Gomory cutting planes can be used to improve the feature models. We discuss a number of applications: analysis of feature models, resolving configuration errors and optimization of product instantiation.
    Original languageUndefined
    Title of host publicationProceedings of the 14th International Software Product Line Conference, Volume 2
    EditorsGoetz Botterweck, Stan Jarzabek, Tomoji Kishi
    Place of PublicationLancaster, UK
    PublisherLancaster University, Lancaster, UK
    Number of pages5
    ISBN (Print)978-1-86220-274-0
    Publication statusPublished - 2010
    Event14th International Software Product Line Conference, SPLC 2010 - Jeju Island, Korea, Republic of
    Duration: 13 Sep 201017 Sep 2010
    Conference number: 14

    Publication series

    PublisherLancaster University, Lancaster, UK


    Conference14th International Software Product Line Conference, SPLC 2010
    Abbreviated titleSPLC
    Country/TerritoryKorea, Republic of
    CityJeju Island


    • METIS-270884
    • EWI-18086
    • SE-Q: Quality Modelling and Verification
    • IR-73470

    Cite this