{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:44Z","timestamp":1772164004903,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,4]],"date-time":"2009-10-04T00:00:00Z","timestamp":1254614400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,10,4]]},"DOI":"10.1145\/1621607.1621633","type":"proceedings-article","created":{"date-parts":[[2009,10,6]],"date-time":"2009-10-06T14:23:22Z","timestamp":1254839002000},"page":"167-176","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Mapping problem-space to solution-space features"],"prefix":"10.1145","author":[{"given":"Frans","family":"Sanen","sequence":"first","affiliation":[{"name":"DistriNet, Department of Computer Science, K.U.Leuven, Heverlee, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eddy","family":"Truyen","sequence":"additional","affiliation":[{"name":"DistriNet, Department of Computer Science, K.U.Leuven, Heverlee, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wouter","family":"Joosen","sequence":"additional","affiliation":[{"name":"DistriNet, Department of Computer Science, K.U.Leuven, Heverlee, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,10,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The dlv tutorial. http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/tutorial\/.  The dlv tutorial. http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/tutorial\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Lattix. http:\/\/www.lattix.com.  Lattix. http:\/\/www.lattix.com."},{"key":"e_1_3_2_1_3_1","unstructured":"Sonarj. http:\/\/www.hello2morrow.com\/products\/sonarj.  Sonarj. http:\/\/www.hello2morrow.com\/products\/sonarj."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066129.1066143"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/344588.344602"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"F.\n      Bachmann M.\n      Goedicke J. C. S.\n      do Prado Leite R. L.\n      Nord K.\n      Pohl B.\n      Ramesh and \n      A.\n      Vilbig\n  . \n  A meta-model for representing variability in product family development\n  . In F. van der Linden editor PFE volume \n  3014\n   of \n  LNCS pages \n  66\n  --\n  80\n  . \n  Springer 2003\n  .  F. Bachmann M. Goedicke J. C. S. do Prado Leite R. L. Nord K. Pohl B. Ramesh and A. Vilbig. A meta-model for representing variability in product family development. In F. van der Linden editor PFE volume 3014 of LNCS pages 66--80. Springer 2003.","DOI":"10.1007\/978-3-540-24667-1_6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183236.1183264"},{"key":"e_1_3_2_1_9_1","first-page":"159","volume-title":"RE","author":"Baum L.","year":"2000","unstructured":"L. Baum , M. Becker , L. Geyer , and G. Molter . Mapping requirements to reusable components using design spaces . In RE 2000 , page 159 , Washington, DC , USA, 2000. IEEE Computer Society . L. Baum, M. Becker, L. Geyer, and G. Molter. Mapping requirements to reusable components using design spaces. In RE 2000, page 159, Washington, DC, USA, 2000. IEEE Computer Society."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05689-9","volume-title":"Introduction to Default Logic","author":"Besnard P.","year":"1989","unstructured":"P. Besnard . Introduction to Default Logic . Springer-Verlag New York, Inc. , Secaucus, NJ, USA , 1989 . P. Besnard. Introduction to Default Logic. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1989."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"e_1_3_2_1_13_1","volume-title":"Non-Functional Requirements in Software Engineering","author":"Chung L.","year":"1999","unstructured":"L. Chung , B. A. Nixon , E. Yu , and J. Mylopoulos . Non-Functional Requirements in Software Engineering . Springer , October 1999 . L. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos. Non-Functional Requirements in Software Engineering. Springer, October 1999."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561347_28"},{"key":"e_1_3_2_1_15_1","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"Czarnecki K.","year":"2000","unstructured":"K. Czarnecki , U. Eisenecker , and K. Czarnecki . Generative Programming: Methods, Tools, and Applications . Addison-Wesley Professional , June 2000 . K. Czarnecki, U. Eisenecker, and K. Czarnecki. Generative Programming: Methods, Tools, and Applications. Addison-Wesley Professional, June 2000."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2003.11.012"},{"key":"e_1_3_2_1_17_1","first-page":"191","volume-title":"D. Nardi, and A. Schaerf. Reasoning in description logics.","author":"Donini F. M.","year":"1996","unstructured":"F. M. Donini , M. lenzerini , D. Nardi, and A. Schaerf. Reasoning in description logics. pages 191 -- 236 , 1996 . F. M. Donini, M. lenzerini, D. Nardi, and A. Schaerf. Reasoning in description logics. pages 191--236, 1996."},{"key":"e_1_3_2_1_18_1","volume-title":"Readings in nonmonotonic reasoning","author":"Ginsberg M. L.","year":"1987","unstructured":"M. L. Ginsberg , editor. Readings in nonmonotonic reasoning . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 1987 . M. L. Ginsberg, editor. Readings in nonmonotonic reasoning. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1987."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/647275.722303"},{"key":"e_1_3_2_1_20_1","first-page":"594","volume-title":"An open framework for dynamic reconfiguration","author":"Hillman J.","year":"2004","unstructured":"J. Hillman and I. Warren . An open framework for dynamic reconfiguration . pages 594 -- 603 , 2004 . J. Hillman and I. Warren. An open framework for dynamic reconfiguration. pages 594--603, 2004."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0080-5"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA235785","volume-title":"Feature-Oriented Domain Analysis (FODA) Feasibility Study","author":"Kang K.","year":"1990","unstructured":"K. Kang , S. Cohen , J. Hess , W. Nowak , and S. Peterson . Feature-Oriented Domain Analysis (FODA) Feasibility Study . 1990 . K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson. Feature-Oriented Domain Analysis (FODA) Feasibility Study. 1990."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2002.1020288"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070568"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.729680"},{"key":"e_1_3_2_1_27_1","series-title":"LNCS","volume-title":"ECOOP","author":"Kiczales G.","year":"1997","unstructured":"G. Kiczales , J. Lamping , A. Mendhekar , C. Maeda , C. V. Lopes , J.-M. L. , and J. Irwin . Aspect-Oriented Programming . In ECOOP , volume 1241 of LNCS , 1997 . G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. L., and J. Irwin. Aspect-Oriented Programming. In ECOOP, volume 1241 of LNCS, 1997."},{"key":"e_1_3_2_1_28_1","first-page":"10","volume-title":"in Proc. of 16. Workshop, Planen, Scheduling und Konfigurieren, Entwerfen (PuK2002","author":"Krebs T.","year":"2002","unstructured":"T. Krebs , L. Hotz , and A. G\u00fcnter . Knowledge-based configuration for configuring combined hardware\/software systems . In in Proc. of 16. Workshop, Planen, Scheduling und Konfigurieren, Entwerfen (PuK2002 , pages 10 -- 11 , 2002 . T. Krebs, L. Hotz, and A. G\u00fcnter. Knowledge-based configuration for configuring combined hardware\/software systems. In in Proc. of 16. Workshop, Planen, Scheduling und Konfigurieren, Entwerfen (PuK2002, pages 10--11, 2002."},{"key":"e_1_3_2_1_29_1","first-page":"103","article-title":"Combining feature-oriented analysis and aspect-oriented programming for product line asset development","volume":"0","author":"Lee K.","year":"2006","unstructured":"K. Lee , K. C. Kang , M. Kim , and S. Park . Combining feature-oriented analysis and aspect-oriented programming for product line asset development . SPLC , 0 : 103 -- 112 , 2006 . K. Lee, K. C. Kang, M. Kim, and S. Park. Combining feature-oriented analysis and aspect-oriented programming for product line asset development. SPLC, 0:103--112, 2006.","journal-title":"SPLC"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00186-8"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2007.61"},{"key":"e_1_3_2_1_34_1","first-page":"47","volume-title":"Using a configurator for predictable component composition","author":"Myllarniemi V.","year":"2007","unstructured":"V. Myllarniemi , M. Raatikainen , and T. Mannisto . Using a configurator for predictable component composition . pages 47 -- 58 , Aug. 2007 . V. Myllarniemi, M. Raatikainen, and T. Mannisto. Using a configurator for predictable component composition. pages 47--58, Aug. 2007."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/646398.691168"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering : Foundations, Principles and Techniques","author":"Pohl K.","year":"2005","unstructured":"K. Pohl , G. B\u00f6ckle , and F. J. van der Linden . Software Product Line Engineering : Foundations, Principles and Techniques . Springer , September 2005 . K. Pohl, G. B\u00f6ckle, and F. J. van der Linden. Software Product Line Engineering : Foundations, Principles and Techniques. Springer, September 2005."},{"key":"e_1_3_2_1_37_1","first-page":"419","volume-title":"ECOOP","author":"Prehofer C.","year":"1997","unstructured":"C. Prehofer . Feature-oriented programming : A fresh look at objects . In ECOOP , pages 419 -- 443 , 1997 . C. Prehofer. Feature-oriented programming: A fresh look at objects. In ECOOP, pages 419--443, 1997."},{"key":"e_1_3_2_1_38_1","series-title":"LNCS","first-page":"1","volume-title":"ICSR","author":"Redondo R. P. D.","year":"2004","unstructured":"R. P. D. Redondo and others. Supporting software variability by reusing generic incomplete models at the requirements specification stage . In ICSR , volume 3107 of LNCS , pages 1 --- 10 . Springer , 2004 . R. P. D. Redondo and others. Supporting software variability by reusing generic incomplete models at the requirements specification stage. In ICSR, volume 3107 of LNCS, pages 1---10. Springer, 2004."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/1776132.1776160"},{"key":"e_1_3_2_1_41_1","volume-title":"Fifth workshop on Reflection, AOP and Meta-data for Software Evolution","author":"Sanen F.","year":"2008","unstructured":"F. Sanen , E. Truyen , and W. Joosen . Modeling context-dependent aspect interference using default logics . In Fifth workshop on Reflection, AOP and Meta-data for Software Evolution , July 2008 . F. Sanen, E. Truyen, and W. Joosen. Modeling context-dependent aspect interference using default logics. In Fifth workshop on Reflection, AOP and Meta-data for Software Evolution, July 2008."},{"key":"e_1_3_2_1_42_1","volume-title":"10th International Conference on Feature Interactions in Telecommunications and Software Systems. IOS Press","author":"Sanen F.","year":"2009","unstructured":"F. Sanen , E. Truyen , and W. Joosen . Problem-solution feature interactions as configuration knowledge in distributed runtime adaptations . In 10th International Conference on Feature Interactions in Telecommunications and Software Systems. IOS Press , 2009 . F. Sanen, E. Truyen, and W. Joosen. Problem-solution feature interactions as configuration knowledge in distributed runtime adaptations. In 10th International Conference on Feature Interactions in Telecommunications and Software Systems. IOS Press, 2009."},{"key":"e_1_3_2_1_43_1","volume-title":"ECAI 2000 - Workshop on Knowledge-Based Systems for Model-Based Engineering","author":"Schlick M.","year":"2000","unstructured":"M. Schlick and A. Hein . Knowledge engineering in software product lines . In ECAI 2000 - Workshop on Knowledge-Based Systems for Model-Based Engineering , 2000 . M. Schlick and A. Hein. Knowledge engineering in software product lines. In ECAI 2000 - Workshop on Knowledge-Based Systems for Model-Based Engineering, 2000."},{"key":"e_1_3_2_1_44_1","first-page":"139","volume-title":"Feature diagrams: A survey and a formal semantics","author":"Schobbens P.-Y.","year":"2006","unstructured":"P.-Y. Schobbens , P. Heymans , and J.-C. Trigaux . Feature diagrams: A survey and a formal semantics . pages 139 -- 148 , Sept. 2006 . P.-Y. Schobbens, P. Heymans, and J.-C. Trigaux. Feature diagrams: A survey and a formal semantics. pages 139--148, Sept. 2006."},{"key":"e_1_3_2_1_45_1","series-title":"LNCS","first-page":"197","volume-title":"SPLC","author":"Sinnema M.","year":"2004","unstructured":"M. Sinnema , S. Deelstra , J. Nijhuis , and J. Bosch . Covamof: A framework for modeling variability in software product families . In SPLC , volume 3154 of LNCS , pages 197 -- 213 . Springer , 2004 . M. Sinnema, S. Deelstra, J. Nijhuis, and J. Bosch. Covamof: A framework for modeling variability in software product families. In SPLC, volume 3154 of LNCS, pages 197--213. Springer, 2004."},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of the AAAI","author":"Soininen T.","year":"2001","unstructured":"T. Soininen , I. Niemela , J. Tiihonen , and R. Sulonen . Representing configuration knowledge with weight constraint rules . In Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming, pages 195--201, Stanford, USA , March 2001. AAAI Press. T. Soininen, I. Niemela, J. Tiihonen, and R. Sulonen. Representing configuration knowledge with weight constraint rules. In Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming, pages 195--201, Stanford, USA, March 2001. AAAI Press."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v35:8"},{"key":"e_1_3_2_1_48_1","unstructured":"C. Szyperski. Component Software. Addison-Wesley 2002.  C. Szyperski. Component Software. Addison-Wesley 2002."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302457"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"crossref","unstructured":"S.\n      Thiel\n     and \n      A.\n      Hein\n  . \n  Systematic integration of variability into product line architecture design\n  . In G. J. Chastek editor SPLC volume \n  2379\n   of \n  Lecture Notes in Computer Science pages \n  130\n  --\n  153\n  . \n  Springer 2002\n  .   S. Thiel and A. Hein. Systematic integration of variability into product line architecture design. In G. J. Chastek editor SPLC volume 2379 of Lecture Notes in Computer Science pages 130--153. Springer 2002.","DOI":"10.1007\/3-540-45652-X_9"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353482.1353497"},{"key":"e_1_3_2_1_52_1","volume-title":"SPLC","author":"Tun T. T.","year":"2009","unstructured":"T. T. Tun , Q. Boucher , A. Classen , A. Hubaux , and P. Heymans . Relating requirements and feature configurations: A systematic approach . In SPLC , 2009 . T. T. Tun, Q. Boucher, A. Classen, A. Hubaux, and P. Heymans. Relating requirements and feature configurations: A systematic approach. In SPLC, 2009."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-540-77351-1_6","volume-title":"Software Composition, LNCS 4829","author":"van der Storm T.","year":"2007","unstructured":"T. van der Storm . Generic feature-based software composition . In Software Composition, LNCS 4829 , pages 66 -- 80 . Springer , 2007 . T. van der Storm. Generic feature-based software composition. In Software Composition, LNCS 4829, pages 66--80. Springer, 2007."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308171.1308205"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/766951.766969"}],"event":{"name":"GPCE'09: Generative Programming and Component Engineering","location":"Denver Colorado USA","acronym":"GPCE'09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the eighth international conference on Generative programming and component engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1621607.1621633","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1621607.1621633","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:17:46Z","timestamp":1750234666000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1621607.1621633"}},"subtitle":["a feature interaction approach"],"short-title":[],"issued":{"date-parts":[[2009,10,4]]},"references-count":52,"alternative-id":["10.1145\/1621607.1621633","10.1145\/1621607"],"URL":"https:\/\/doi.org\/10.1145\/1621607.1621633","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1837852.1621633","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,10,4]]},"assertion":[{"value":"2009-10-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}