{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T22:17:59Z","timestamp":1674080279553},"reference-count":32,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T00:00:00Z","timestamp":1358208000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[2013,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Configuration of large-scale applications in an engineering context requires a modeling environment that allows the design engineer to draft the configuration problem in a natural way and efficient methods that can process the modeled setting and scale with the number of components. Existing configuration methods in artificial intelligence typically perform quite well in certain subareas but are hard to use for general-purpose modeling without mathematical or logics background (the so-called knowledge acquisition bottleneck) and\/or have scalability issues. As a remedy to this important issue both in theory and in practical applications, we use a standard modeling environment like the Unified Modeling Language that has been proposed by the configuration community as a suitable object-oriented formalism for configuration problems. We provide a translation of key concepts of class diagrams to inequalities and identify relevant configuration aspects and show how they are treated as an integer linear program. Solving an integer linear program can be done efficiently, and integer linear programming scales well to large configurations consisting of several thousands components and interactions. We conduct an empirical study in the context of package management for operating systems and for the Linux kernel configuration. We evaluate our methodology by a benchmark and obtain convincing results in support for using integer linear programming for configuration applications of realistic size and complexity.<\/jats:p>","DOI":"10.1017\/s0890060412000376","type":"journal-article","created":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T14:23:06Z","timestamp":1358259786000},"page":"37-49","source":"Crossref","is-referenced-by-count":3,"title":["Efficient large-scale configuration via integer linear programming"],"prefix":"10.1017","volume":"27","author":[{"given":"Ingo","family":"Feinerer","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2013,1,15]]},"reference":[{"key":"S0890060412000376_ref28","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060498124046"},{"key":"S0890060412000376_ref10","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060403171041"},{"key":"S0890060412000376_ref30","unstructured":"Voronov A. , \u00c5kesson K. , & Ekstedt F. (2011). Enumeration of valid partial configurations. Proc. IJCAI 2011 Workshop on Configuration."},{"key":"S0890060412000376_ref29","unstructured":"Tucker C. , Shuffelton D. , Jhala R. , & Lerner S. (2007). Opium: optimal package install\/uninstall manager. Proc. 29th Int. Conf. Software Engineering, ICSE'07. Washington, DC: IEEE Computer Society."},{"key":"S0890060412000376_ref22","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060410000594"},{"key":"S0890060412000376_ref16","first-page":"21","article-title":"Lightweight formal methods","volume":"29","author":"Jackson","year":"1996","journal-title":"IEEE Computer"},{"key":"S0890060412000376_ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2000229.2000255"},{"key":"S0890060412000376_ref8","unstructured":"Feinerer I. , & Salzer G. (2007). Consistency and minimality of UML class specifications with multiplicities and uniqueness constraints. Proc. 1st IEEE\/IFIP Int. Symp. Theoretical Aspects of Software Engineering, TASE'07. New York: IEEE."},{"key":"S0890060412000376_ref15","doi-asserted-by":"crossref","unstructured":"Heinrich M. , & J\u00fcngst E.W. (1991). A resource-based paradigm for the configuring of technical systems from modular components. Proc. 7th IEEE Conf. Artificial Intelligence Applications.","DOI":"10.1109\/CAIA.1991.120878"},{"key":"S0890060412000376_ref9","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194000000249"},{"key":"S0890060412000376_ref26","unstructured":"Sincero J. , Schirmeier H. , Schr\u00f6der-Preikschat W. , & Spinczyk O. (2007). Is the Linux kernel a software product line? Proc. Int. Workshop on Open Source Software and Product Lines, SPLC-OSSPL'07."},{"key":"S0890060412000376_ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(00)00034-3"},{"key":"S0890060412000376_ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4379(90)90048-T"},{"key":"S0890060412000376_ref4","doi-asserted-by":"publisher","DOI":"10.1504\/IJMASSC.2010.037650"},{"key":"S0890060412000376_ref2","unstructured":"Alliance for Telecommunications Industry Solutions. (2000). ATIS telecom glossary 2000. Accessed at http:\/\/www.atis.org"},{"key":"S0890060412000376_ref3","doi-asserted-by":"publisher","DOI":"10.1145\/320434.320440"},{"key":"S0890060412000376_ref5","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060410000570"},{"key":"S0890060412000376_ref6","unstructured":"Feinerer I. (2007). A formal treatment of UML class diagrams as an efficient method for configuration management. PhD thesis. Vienna University of Technology."},{"key":"S0890060412000376_ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2019136.2019193"},{"key":"S0890060412000376_ref11","unstructured":"Felfernig A. , Friedrich G. , Jannach D. , & Zanker M. (2002). Configuration knowledge representation using UML\/OCL. Proc. 5th Int. Conf. the Unified Modeling Language, UML'02. Berlin: Springer\u2013Verlag."},{"key":"S0890060412000376_ref12","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060410000612"},{"key":"S0890060412000376_ref13","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060410000569"},{"key":"S0890060412000376_ref32","doi-asserted-by":"publisher","DOI":"10.1109\/5254.708434"},{"key":"S0890060412000376_ref14","doi-asserted-by":"publisher","DOI":"10.1145\/367766.368168"},{"key":"S0890060412000376_ref17","doi-asserted-by":"crossref","first-page":"89","DOI":"10.3233\/SAT190090","article-title":"Packup: tools for package upgradability solving","volume":"8","author":"Janota","year":"2012","journal-title":"Journal of Satisfiability, Boolean Modeling and Computation"},{"key":"S0890060412000376_ref19","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060498124101"},{"key":"S0890060412000376_ref27","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060498124083"},{"key":"S0890060412000376_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72901-3_2"},{"key":"S0890060412000376_ref23","unstructured":"Niederbrucker G. , & Sisel T. (2011). CLEWS. Accessed at http:\/\/www.logic.at\/clews"},{"key":"S0890060412000376_ref25","unstructured":"Object Management Group. (2012). Object Constraint Language 2.3.1. Accessed at http:\/\/www.omg.org"},{"key":"S0890060412000376_ref31","unstructured":"Zengler C. , & K\u00fcchlin W. (2010). Encoding the Linux kernel configuration in propositional logic. Proc. ECAI 2010 Workshop on Configuration Systems."},{"key":"S0890060412000376_ref24","unstructured":"Object Management Group. (2011). Unified Modeling Language 2.4.1. Accessed at http:\/\/www.omg.org"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060412000376","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,20]],"date-time":"2020-07-20T11:47:51Z","timestamp":1595245671000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060412000376\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,15]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["S0890060412000376"],"URL":"https:\/\/doi.org\/10.1017\/s0890060412000376","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,15]]}}}