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)
    179 Downloads (Pure)

    Abstract

    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
    Pages107-111
    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

    Name
    PublisherLancaster University, Lancaster, UK
    Volume2

    Conference

    Conference14th International Software Product Line Conference, SPLC 2010
    Abbreviated titleSPLC
    CountryKorea, Republic of
    CityJeju Island
    Period13/09/1017/09/10

    Keywords

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

    Cite this

    van den Broek, P. M. (2010). Optimization of Product Instantiation using Integer Programming. In G. Botterweck, S. Jarzabek, & T. Kishi (Eds.), Proceedings of the 14th International Software Product Line Conference, Volume 2 (pp. 107-111). Lancaster, UK: Lancaster University, Lancaster, UK.