{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T06:36:23Z","timestamp":1759991783208,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":65,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Norwegian NFR"},{"name":"German DAAD"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,19]]},"DOI":"10.1145\/3382025.3414964","type":"proceedings-article","created":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T19:22:18Z","timestamp":1602876138000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Consistency-preserving evolution planning on feature models"],"prefix":"10.1145","author":[{"given":"Adrian","family":"Hoff","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Braunschweig, Braunschweig, Germany"}]},{"given":"Michael","family":"Nieke","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Braunschweig, Braunschweig, Germany"}]},{"given":"Christoph","family":"Seidl","sequence":"additional","affiliation":[{"name":"IT University of Copenhagen, Copenhagen, Denmark"}]},{"given":"Eirik Halvard","family":"S\u00e6ther","sequence":"additional","affiliation":[{"name":"University of Oslo, Oslo, Norway"}]},{"given":"Ida Sandberg","family":"Motzfeldt","sequence":"additional","affiliation":[{"name":"University of Oslo, Oslo, Norway"}]},{"given":"Crystal Chang","family":"Din","sequence":"additional","affiliation":[{"name":"University of Oslo, Oslo, Norway"}]},{"given":"Ingrid Chieh","family":"Yu","sequence":"additional","affiliation":[{"name":"University of Oslo, Oslo, Norway"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Braunschweig, Braunschweig, Germany"}]}],"member":"320","published-online":{"date-parts":[[2020,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/10721975"},{"volume-title":"Handbook of process algebra","author":"Aceto Luca","key":"e_1_3_2_1_2_1","unstructured":"Luca Aceto , Wan Fokkink , and Chris Verhoef . 2001. Structural operational semantics . In Handbook of process algebra . Elsevier , 197--292. Luca Aceto, Wan Fokkink, and Chris Verhoef. 2001. Structural operational semantics. In Handbook of process algebra. Elsevier, 197--292."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307630.3342412"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168365.3168377"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92991-0_7"},{"volume-title":"Feature Models, Grammars, and Propositional Formulas","author":"Batory Don","key":"e_1_3_2_1_6_1","unstructured":"Don Batory . 2005. Feature Models, Grammars, and Propositional Formulas . In Software Product Lines, Henk Obbink and Klaus Pohl (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 7--20. Don Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In Software Product Lines, Henk Obbink and Klaus Pohl (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 7--20."},{"key":"e_1_3_2_1_7_1","unstructured":"John H Blackstone. 2001. Theory of constraints-a status report. (2001).  John H Blackstone. 2001. Theory of constraints-a status report. (2001)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2004.1293069"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45398-4_9"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1808937.1808941"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629716.1629737"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-015-0185-3"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.218"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.85"},{"key":"e_1_3_2_1_16_1","unstructured":"Rohit Gheyi Tiago Massoni and Paulo Borba. 2006. A theory for feature models in alloy. In First alloy workshop. Citeseer 71--80.  Rohit Gheyi Tiago Massoni and Paulo Borba. 2006. A theory for feature models in alloy. In First alloy workshop. Citeseer 71--80."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357765.3359515"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2018.8502557"},{"volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"Huth Michael","key":"e_1_3_2_1_19_1","unstructured":"Michael Huth and Mark Ryan . 2004. Logic in Computer Science: Modelling and Reasoning about Systems . Cambridge University Press , USA. Michael Huth and Mark Ryan. 2004. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, USA."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2005.48"},{"volume-title":"2012 28th International Conference on Software Maintenance (ICSM). 638--641","author":"Kehrer T.","key":"e_1_3_2_1_21_1","unstructured":"T. Kehrer , U. Kelter , M. Ohrndorf , and T. Sollbach . 2012. Understanding model evolution through semantically lifting model differences with SiLift . In 2012 28th International Conference on Software Maintenance (ICSM). 638--641 . T. Kehrer, U. Kelter, M. Ohrndorf, and T. Sollbach. 2012. Understanding model evolution through semantically lifting model differences with SiLift. In 2012 28th International Conference on Software Maintenance (ICSM). 638--641."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336308"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.05.003"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2018.11.004"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180258"},{"volume-title":"Laws of software evolution revisited","author":"Lehman M. M.","key":"e_1_3_2_1_26_1","unstructured":"M. M. Lehman . 1996. Laws of software evolution revisited . In Software Process Technology, Carlo Montangero (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 108--124. M. M. Lehman. 1996. Laws of software evolution revisited. In Software Process Technology, Carlo Montangero (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 108--124."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2014.67"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168365.3168369"},{"key":"e_1_3_2_1_29_1","unstructured":"Neil Loughran Awais Rashid Weishan Zhang and Stan Jarzabek. 2004. Supporting product line evolution with framed aspects. In AOSD ACP4IS Workshop. Citeseer.  Neil Loughran Awais Rashid Weishan Zhang and Stan Jarzabek. 2004. Supporting product line evolution with framed aspects. In AOSD ACP4IS Workshop. Citeseer."},{"key":"e_1_3_2_1_30_1","volume-title":"Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. In International Conference on Graph Transformation. Springer, 171--186","author":"Machado Rodrigo","year":"2015","unstructured":"Rodrigo Machado , Leila Ribeiro , and Reiko Heckel . 2015 . Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. In International Conference on Graph Transformation. Springer, 171--186 . Rodrigo Machado, Leila Ribeiro, and Reiko Heckel. 2015. Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. In International Conference on Graph Transformation. Springer, 171--186."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.08.014"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2866614.2866620"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.05.002"},{"volume-title":"Mastering Software Variability with FeatureIDE","author":"Meinicke Jens","key":"e_1_3_2_1_35_1","unstructured":"Jens Meinicke , Thomas Th\u00fcm , Reimar Schr\u00f6ter , Fabian Benduhn , Thomas Leich , and Gunter Saake . 2017. Mastering Software Variability with FeatureIDE . Springer . Jens Meinicke, Thomas Th\u00fcm, Reimar Schr\u00f6ter, Fabian Benduhn, Thomas Leich, and Gunter Saake. 2017. Mastering Software Variability with FeatureIDE. Springer."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2012.06.003"},{"key":"e_1_3_2_1_37_1","volume-title":"ECMDA Traceability Workshop (ECMDA-TW). Citeseer, 87--96","author":"Mitschke Ralf","year":"2008","unstructured":"Ralf Mitschke and Michael Eichberg . 2008 . Supporting the evolution of software product lines . In ECMDA Traceability Workshop (ECMDA-TW). Citeseer, 87--96 . Ralf Mitschke and Michael Eichberg. 2008. Supporting the evolution of software product lines. In ECMDA Traceability Workshop (ECMDA-TW). Citeseer, 87--96."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.24355\/dbbs.084-201704071225"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.24355\/dbbs.084-201711071415"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2047862.2047869"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3023956.3023962"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3278122.3278123"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47169-3_44"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2866614.2866625"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236405.3237201"},{"key":"e_1_3_2_1_46_1","volume-title":"SEI's software product line tenets","author":"Northrop Linda M","year":"2002","unstructured":"Linda M Northrop . 2002. SEI's software product line tenets . IEEE software 19, 4 ( 2002 ), 32--40. Linda M Northrop. 2002. SEI's software product line tenets. IEEE software 19, 4 (2002), 32--40."},{"volume-title":"Change Impact Analysis of Feature Models","author":"Paskevicius Paulius","key":"e_1_3_2_1_47_1","unstructured":"Paulius Paskevicius , Robertas Damasevicius , and Vytautas \u0160tuikys . 2012. Change Impact Analysis of Feature Models . In Information and Software Technologies, Tomas Skersys, Rimantas Butleris, and Rita Butkiene (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 108--122. Paulius Paskevicius, Robertas Damasevicius, and Vytautas \u0160tuikys. 2012. Change Impact Analysis of Feature Models. In Information and Software Technologies, Tomas Skersys, Rimantas Butleris, and Rita Butkiene (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 108--122."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430526"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.106"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336299"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.03.009"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"volume-title":"Software product line engineering: foundations, principles and techniques","author":"Pohl Klaus","key":"e_1_3_2_1_53_1","unstructured":"Klaus Pohl , G\u00fcnter B\u00f6ckle , and Frank J van Der Linden . 2005. Software product line engineering: foundations, principles and techniques . Springer Science & Business Media . Klaus Pohl, G\u00fcnter B\u00f6ckle, and Frank J van Der Linden. 2005. Software product line engineering: foundations, principles and techniques. Springer Science & Business Media."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.04.051"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430527"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2866614.2866616"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970288"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00722-3"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430507"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362550"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556624.2556625"},{"key":"e_1_3_2_1_62_1","first-page":"19","article-title":"DeltaEcore - A Model-Based Delta Language Generation Framework","volume":"2014","author":"Seidl Christoph","year":"2014","unstructured":"Christoph Seidl , Ina Schaefer , and Uwe A\u00dfmann . 2014 . DeltaEcore - A Model-Based Delta Language Generation Framework . In Modellierung 2014 , 19 .-21. M\u00e4rz 2014, Wien, \u00d6sterreich (LNI), Hans-Georg Fill, Dimitris Karagiannis, and Ulrich Reimer (Eds.), Vol. P-225. GI, 81--96. https:\/\/dl.gi.de\/20.500.12116\/17067 Christoph Seidl, Ina Schaefer, and Uwe A\u00dfmann. 2014. DeltaEcore - A Model-Based Delta Language Generation Framework. In Modellierung 2014, 19.-21. M\u00e4rz 2014, Wien, \u00d6sterreich (LNI), Hans-Georg Fill, Dimitris Karagiannis, and Ulrich Reimer (Eds.), Vol. P-225. GI, 81--96. https:\/\/dl.gi.de\/20.500.12116\/17067","journal-title":"Modellierung"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648514"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0263-7863(00)00054-5"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2010.20"}],"event":{"name":"SPLC '20: 24th ACM International Systems and Software Product Line Conference","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Montreal Quebec Canada","acronym":"SPLC '20"},"container-title":["Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3382025.3414964","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3382025.3414964","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:07Z","timestamp":1750197727000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3382025.3414964"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":65,"alternative-id":["10.1145\/3382025.3414964","10.1145\/3382025"],"URL":"https:\/\/doi.org\/10.1145\/3382025.3414964","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]},"assertion":[{"value":"2020-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}