Optimization of Product Instantiation using Integer Programming

P.M. van den Broek

Optimization of Product Instantiation using Integer Programming

P.M. van den Broek

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

5 Citations (Scopus)

282 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 language	Undefined
Title of host publication	Proceedings of the 14th International Software Product Line Conference, Volume 2
Editors	Goetz Botterweck, Stan Jarzabek, Tomoji Kishi
Place of Publication	Lancaster, UK
Publisher	Lancaster University
Pages	107-111
Number of pages	5
ISBN (Print)	978-1-86220-274-0
Publication status	Published - 2010
Event	14th International Software Product Line Conference, SPLC 2010 - Jeju Island, Korea, Republic of Duration: 13 Sept 2010 → 17 Sept 2010 Conference number: 14

Publication series

Name
Publisher	Lancaster University, Lancaster, UK
Volume	2

Conference

Conference	14th International Software Product Line Conference, SPLC 2010
Abbreviated title	SPLC
Country/Territory	Korea, Republic of
City	Jeju Island
Period	13/09/10 → 17/09/10

Keywords

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

Access to Document

optimization_integer_programming

Cite this

@inproceedings{8193bd6dde364d439039418ccd8922f7,

title = "Optimization of Product Instantiation using Integer Programming",

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.",

keywords = "METIS-270884, EWI-18086, SE-Q: Quality Modelling and Verification, IR-73470",

author = "{van den Broek}, P.M.",

year = "2010",

language = "Undefined",

isbn = "978-1-86220-274-0",

publisher = "Lancaster University",

pages = "107--111",

editor = "Goetz Botterweck and Stan Jarzabek and Tomoji Kishi",

booktitle = "Proceedings of the 14th International Software Product Line Conference, Volume 2",

address = "United Kingdom",

note = "14th International Software Product Line Conference, SPLC 2010 ; Conference date: 13-09-2010 Through 17-09-2010",

}

van den Broek, PM 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. Lancaster University, Lancaster, UK, pp. 107-111, 14th International Software Product Line Conference, SPLC 2010, Jeju Island, Korea, Republic of, 13/09/10.

Optimization of Product Instantiation using Integer Programming. / van den Broek, P.M.
Proceedings of the 14th International Software Product Line Conference, Volume 2. ed. / Goetz Botterweck; Stan Jarzabek; Tomoji Kishi. Lancaster, UK: Lancaster University, 2010. p. 107-111.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Optimization of Product Instantiation using Integer Programming

AU - van den Broek, P.M.

N1 - Conference code: 14

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

KW - METIS-270884

KW - EWI-18086

KW - SE-Q: Quality Modelling and Verification

KW - IR-73470

M3 - Conference contribution

SN - 978-1-86220-274-0

SP - 107

EP - 111

BT - Proceedings of the 14th International Software Product Line Conference, Volume 2

A2 - Botterweck, Goetz

A2 - Jarzabek, Stan

A2 - Kishi, Tomoji

PB - Lancaster University

CY - Lancaster, UK

T2 - 14th International Software Product Line Conference, SPLC 2010

Y2 - 13 September 2010 through 17 September 2010

ER -