{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T04:27:43Z","timestamp":1760243263362,"version":"build-2065373602"},"reference-count":52,"publisher":"MDPI AG","issue":"6","license":[{"start":{"date-parts":[[2014,6,18]],"date-time":"2014-06-18T00:00:00Z","timestamp":1403049600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Entropy"],"abstract":"<jats:p>To compete in the global marketplace, manufacturers try to differentiate their products by focusing on individual customer needs. Fulfilling this goal requires that companies shift from mass production to mass customization. Under this approach, a generic architecture, named product platform, is designed to support the derivation of customized products through a configuration process that determines which components the product comprises. When a customer configures a derivative, typically not every combination of available components is valid. To guarantee that all dependencies and incompatibilities among the derivative constituent components are satisfied, automated configurators are used. Flexible product platforms provide a big number of interrelated components, and so, the configuration of all, but trivial, derivatives involves considerable effort to select which components the derivative should include. Our approach alleviates that effort by speeding up the derivative configuration using a heuristic based on the information theory concept of entropy.<\/jats:p>","DOI":"10.3390\/e16063329","type":"journal-article","created":{"date-parts":[[2014,6,18]],"date-time":"2014-06-18T11:40:25Z","timestamp":1403091625000},"page":"3329-3356","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Speeding up Derivative Configuration from Product Platforms"],"prefix":"10.3390","volume":"16","author":[{"given":"Ruben","family":"Heradio","sequence":"first","affiliation":[{"name":"ETSI Informatica, Universidad Nacional de Educacion a Distancia, Juan del Rosal 16, 28040 Madrid,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Fernandez-Amoros","sequence":"additional","affiliation":[{"name":"ETSI Informatica, Universidad Nacional de Educacion a Distancia, Juan del Rosal 16, 28040 Madrid,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hector","family":"Perez-Morago","sequence":"additional","affiliation":[{"name":"ETSI Informatica, Universidad Nacional de Educacion a Distancia, Juan del Rosal 16, 28040 Madrid,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Adan","sequence":"additional","affiliation":[{"name":"Department of Electrical, Electronic and Control Engineering, Universidad de Castilla La Mancha, Ronda de Calatrava 5, 13071 Ciudad Real, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2014,6,18]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"Simpson, T.W., Siddique, Z., and Jiao, J.R. (2005). Product Platform and Product Family Design: Methods and Applications, Springer.","DOI":"10.1007\/0-387-29197-0"},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1287\/inte.1040.0092","article-title":"Mitigating product variety\u2019s impact on the value chain","volume":"34","author":"Pil","year":"2004","journal-title":"Interfaces"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/5254.708432","article-title":"Product Configuration Frameworks-A Survey","volume":"13","author":"Sabin","year":"1998","journal-title":"IEEE Intell. Syst"},{"key":"ref_4","unstructured":"Available online: http:\/\/www.configit-software.com\/."},{"key":"ref_5","unstructured":"Available online: https:\/\/scn.sap.com\/docs\/DOC-25224."},{"key":"ref_6","unstructured":"Available online: http:\/\/docs.oracle.com\/cd\/B12190_11\/current\/acrobat\/115czinstg.pdf."},{"key":"ref_7","unstructured":"Van Nimwegen, C., Burgos, D., van Oostendorp, H.H., and Schijf, H. (, January April). The paradox of the assisted user: Guidance can be counterproductive, Montreal, Canada."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1002\/j.1538-7305.1948.tb01338.x","article-title":"A mathematical theory of communication","volume":"27","author":"Shannon","year":"1948","journal-title":"Bell Syst. Tech. J"},{"key":"ref_9","unstructured":"Mazo, R., Dumitrescu, C., Salinesi, C., and Diaz, D. (2014). Recommendation Systems in Software Engineering, Springer-Verlag."},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Chen, S., and Erwig, M. (2011, January 21\u201326). Optimizing the Product Derivation Process, Munich, Germany.","DOI":"10.1109\/SPLC.2011.47"},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"K\u00fcbler, A., Zengler, C., and K\u00fcchlin, W. (2010, January 10). Model Counting in Product Configuration, Edinburgh, UK.","DOI":"10.4204\/EPTCS.29.5"},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Huth, M., and Ryan, M. (2004). Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press.","DOI":"10.1017\/CBO9780511810275"},{"key":"ref_13","unstructured":"Jackson, D. (2012). Software Abstractions: Logic, Language, and Analysis, The MIT Press. [2nd ed]."},{"key":"ref_14","unstructured":"Available online: http:\/\/www.renault.fr\/."},{"key":"ref_15","unstructured":"Available online: http:\/\/www.itu.dk\/research\/cla\/externals\/clib\/."},{"key":"ref_16","unstructured":"Available online: http:\/\/gsd.uwaterloo.ca:8088\/SPLOT\/index.html."},{"key":"ref_17","unstructured":"Lau, S.Q. (2006). Domain Analysis of E-Commerce Systems Using Feature-Based Model Templates. [Master\u2019s thesis, University of Waterloo]."},{"key":"ref_18","unstructured":"White, J., Dougherty, B., Schmidt, D.C., and Benavides, D. (2009, January 24\u201328). Automated reasoning for multi-step feature model configuration problems, San Francisco, USA."},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., and Peterson, S. (1990). Feature-Oriented Domain Analysis (FODA) Feasibility Study, Software Engineering Institute.","DOI":"10.21236\/ADA235785"},{"key":"ref_20","unstructured":"(1993). Reuse-Driven Software Processes Guidebook, Version 02.00.03, Software Productivity Consortium Services Corporation."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Gr\u00fcnbacher, P., Rabiser, R., Schmid, K., and Wasowski, A. (2012, January 25\u201327). Cool features and tough decisions: A comparison of variability modeling approaches, Leipzig, Germany.","DOI":"10.1145\/2110147.2110167"},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1016\/j.comnet.2006.08.008","article-title":"Generic semantics of feature diagrams","volume":"51","author":"Schobbens","year":"2007","journal-title":"Comput. Netw"},{"key":"ref_23","unstructured":"Rossi, F., van Beek, P., and Walsh, T. (2006). Handbook of Constraint Programming, Elsevier."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s10515-010-0076-6","article-title":"The DOPLER meta-tool for decision-oriented variability modeling: A multiple case study","volume":"18","author":"Dhungana","year":"2011","journal-title":"Autom. Softw. Eng"},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/MIS.2007.6","article-title":"Configuration","volume":"22","author":"Sinz","year":"2007","journal-title":"IEEE Intell. Syst"},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Mendon\u00e7a, M. (2009). Efficient Reasoning Techniques for Large Scale Feature Models. [Ph.D. Thesis, University of Waterloo].","DOI":"10.1145\/1449913.1449918"},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"1094","DOI":"10.1016\/j.jss.2010.02.017","article-title":"Automated diagnosis of feature model configurations","volume":"83","author":"White","year":"2010","journal-title":"J. Syst. Softw"},{"key":"ref_28","unstructured":"Janota, M. (2010). SAT Solving in Interactive Configuration. [Ph.D. Thesis, University College]."},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Hegedus, A., Horvath, A., Rath, I., and Varro, D. (2011, January 6\u201312). A model-driven framework for guided design space exploration, Lawrence, USA.","DOI":"10.1109\/ASE.2011.6100051"},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Soltani, S., Asadi, M., Hatala, M., Gasevic, D., and Bagheri, E. (2011, January 6\u201312). Automated planning for feature model configuration based on stakeholders\u2019 business concerns, Lawrence, USA.","DOI":"10.1109\/ASE.2011.6100118"},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1007\/s11219-011-9152-9","article-title":"SPL Conqueror: Toward optimization of non-functional properties in software product lines","volume":"20","author":"Siegmund","year":"2011","journal-title":"Softw. Qual. J"},{"key":"ref_32","unstructured":"Steinberg, L. (1980, January 18\u201321). Question Ordering in a Mixed Intiative Program Specification Dialogue, Stanford, CA, USA."},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","article-title":"Graph-Based Algorithms for Boolean Function Manipulation","volume":"35","author":"Bryant","year":"1986","journal-title":"IEEE Trans. Comput"},{"key":"ref_34","doi-asserted-by":"crossref","unstructured":"Pohl, K., Bockle, G., and Linden, F. (2005). Software Product Line Engineering: Foundations, Principles and Techniques, Springer.","DOI":"10.1007\/3-540-28901-1"},{"key":"ref_35","unstructured":"Biere, A., Heule, M.J., van Maaren, H., and Toby, W. (2009). Handbook of Satisfiability, IOS Press."},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Thum, T., Batory, D., and Kastner, C. (2009, January 16\u201324). Reasoning About Edits to Feature Models, Vancouver, Canada.","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"ref_37","doi-asserted-by":"crossref","unstructured":"Cook, S.A. (1971, January 3\u20135). The complexity of theorem-proving procedures, Shaker Heights, Ohio, USA.","DOI":"10.1145\/800157.805047"},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"Astesana, J.M., Cosserat, L., and Fargier, H. (2010, January 27\u201329). Constraint-based Vehicle Configuration: A Case Study, Arras, France.","DOI":"10.1109\/ICTAI.2010.19"},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0004-3702(01)00162-X","article-title":"Consistency restoration and explanations in dynamic CSPs-Application to configuration","volume":"135","author":"Amilhastre","year":"2002","journal-title":"Artif. Intell"},{"key":"ref_40","unstructured":"Jensen, R.M. (October, January 27). CLab: A C++ Library for Fast Backtrack-Free Interactive Product Configuration, Toronto, Canada."},{"key":"ref_41","unstructured":"O\u2019Sullivan, B., O\u2019Callaghan, B., and Freuder, E.C. (August,, January 30). Corrective Explanation for Interactive Constraint Satisfaction, Edinburgh, UK."},{"key":"ref_42","unstructured":"Hebrard, E., Hnich, B., O\u2019Sullivan, B., and Walsh, T. (2005, January 9\u201313). Finding Diverse and Similar Solutions in Constraint Programming, Pittsburgh, USA."},{"key":"ref_43","unstructured":"Narodytska, N., and Walsh, T. (2007, January 6\u201312). Constraint and Variable Ordering Heuristics for Compiling Configuration Problems, Hyderabad, India."},{"key":"ref_44","unstructured":"Hansen, E.R., and Tiedemann, P. (2007, January 22\u201326). Compressing Configuration Data for Memory Limited Devices, Vancouver, Canada."},{"key":"ref_45","doi-asserted-by":"crossref","unstructured":"Cambazard, H., and O\u2019Sullivan, B. (2008, January 14\u201318). Reformulating Positive Table Constraints Using Functional Dependencies, Sydney, Australia.","DOI":"10.1007\/978-3-540-85958-1_28"},{"key":"ref_46","unstructured":"Queva, M. (2011). A Framework for Constraint-Programming based Configuration. [Ph.D. Thesis, Technical University of Denmark]."},{"key":"ref_47","unstructured":"Kroer, C. (2012). SAT and SMT-based Interactive Configuration for Container Vessel Stowage Planning. [Master\u2019s Thesis, IT University of Copenhagen]."},{"key":"ref_48","unstructured":"Gange, G.K. (2012). Combinatorial Reasoning for Sets, Graphs and Document Composition. [Ph.D. Thesis, The University of Melbourne]."},{"key":"ref_49","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/978-3-642-40627-0_15","article-title":"Global Inverse Consistency for Interactive Constraint Satisfaction","volume":"8124","author":"Schulte","year":"2013","journal-title":"Principles and Practice of Constraint Programming"},{"key":"ref_50","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1007\/s11219-010-9127-2","article-title":"Assessing the maintainability of software product line feature models using structural metrics","volume":"19","author":"Bagheri","year":"2011","journal-title":"Softw. Qual. J"},{"key":"ref_51","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1007\/s11219-011-9160-9","article-title":"Pairwise testing for software product lines: Comparison of two approaches","volume":"20","author":"Perrouin","year":"2012","journal-title":"Softw. Qual. J"},{"key":"ref_52","unstructured":"Available online: http:\/\/sourceforge.net\/projects\/buddy\/."}],"container-title":["Entropy"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1099-4300\/16\/6\/3329\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T21:12:38Z","timestamp":1760217158000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1099-4300\/16\/6\/3329"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,18]]},"references-count":52,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2014,6]]}},"alternative-id":["e16063329"],"URL":"https:\/\/doi.org\/10.3390\/e16063329","relation":{},"ISSN":["1099-4300"],"issn-type":[{"type":"electronic","value":"1099-4300"}],"subject":[],"published":{"date-parts":[[2014,6,18]]}}}