{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T06:42:09Z","timestamp":1759992129698,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031479625"},{"type":"electronic","value":"9783031479632"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-47963-2_25","type":"book-chapter","created":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T21:41:26Z","timestamp":1700689286000},"page":"417-437","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modular Soundness Checking of\u00a0Feature Model Evolution Plans"],"prefix":"10.1007","author":[{"given":"Ida Sandberg","family":"Motzfeldt","sequence":"first","affiliation":[]},{"given":"Ingrid Chieh","family":"Yu","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3588-5609","authenticated-orcid":false,"given":"Crystal Chang","family":"Din","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8763-5548","authenticated-orcid":false,"given":"Violet Ka I","family":"Pun","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1031-6936","authenticated-orcid":false,"given":"Volker","family":"Stolz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,23]]},"reference":[{"key":"25_CR1","doi-asserted-by":"publisher","unstructured":"Alves, V., Gheyi, R., Massoni, T., Kulesza, U., Borba, P., de Lucena, C.J.P.: Refactoring product lines. In: Jarzabek, S., Schmidt, D.C., Veldhuizen, T.L. (eds.) 5th International Conference on Generative Programming and Component Engineering GPCE 2006, pp. 201\u2013210. ACM (2006). https:\/\/doi.org\/10.1145\/1173706.1173737","DOI":"10.1145\/1173706.1173737"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-319-92991-0_7","volume-title":"Graph Transformation","author":"GG Azzi","year":"2018","unstructured":"Azzi, G.G., Corradini, A., Ribeiro, L.: On the essence and initiality of conflicts. In: Lambers, L., Weber, J. (eds.) ICGT 2018. LNCS, vol. 10887, pp. 99\u2013117. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92991-0_7"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D Batory","year":"2005","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7\u201320. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11554844_3"},{"key":"25_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-14808-8_2","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2010","author":"P Borba","year":"2010","unstructured":"Borba, P., Teixeira, L., Gheyi, R.: A theory of software product line refinement. In: Cavalcanti, A., Deharbe, D., Gaudel, M.-C., Woodcock, J. (eds.) ICTAC 2010. LNCS, vol. 6255, pp. 15\u201343. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14808-8_2"},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2012.01.031","volume":"455","author":"P Borba","year":"2012","unstructured":"Borba, P., Teixeira, L., Gheyi, R.: A theory of software product line refinement. Theor. Comput. Sci. 455, 2\u201330 (2012). https:\/\/doi.org\/10.1016\/j.tcs.2012.01.031","journal-title":"Theor. Comput. Sci."},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-45398-4_9","volume-title":"Evolving Software Systems","author":"G Botterweck","year":"2014","unstructured":"Botterweck, G., Pleuss, A.: Evolution of software product lines. In: Mens, T., Serebrenik, A., Cleve, A. (eds.) Evolving Software Systems, pp. 265\u2013295. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-45398-4_9"},{"key":"25_CR7","doi-asserted-by":"publisher","unstructured":"Botterweck, G., Pleuss, A., Dhungana, D., Polzer, A., Kowalewski, S.: EvoFM: feature-driven planning of product-line evolution. In: Rubin, J., Botterweck, G., Mezini, M., Maman, I., Pleuss, A. (eds.) Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering, PLEASE 2010, pp. 24\u201331. ACM (2010). https:\/\/doi.org\/10.1145\/1808937.1808941","DOI":"10.1145\/1808937.1808941"},{"key":"25_CR8","unstructured":"B\u00fcrdek, J., Kehrer, T., Lochau, M., Reuling, D., Kelter, U., Sch\u00fcrr, A.: Reasoning about product-line evolution using complex feature model differences. In: J\u00fcrjens, J., Schneider, K. (eds.) Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik, 21\u201324. February 2017, Hannover, Deutschland. LNI, vol. P-267, pp. 67\u201368. GI (2017). https:\/\/dl.gi.de\/20.500.12116\/1274"},{"key":"25_CR9","doi-asserted-by":"publisher","unstructured":"Hinterreiter, D., Pr\u00e4hofer, H., Linsbauer, L., Gr\u00fcnbacher, P., Reisinger, F., Egyed, A.: Feature-oriented evolution of automation software systems in industrial software ecosystems. In: 23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, pp. 107\u2013114. IEEE (2018). https:\/\/doi.org\/10.1109\/ETFA.2018.8502557","DOI":"10.1109\/ETFA.2018.8502557"},{"key":"25_CR10","doi-asserted-by":"publisher","unstructured":"Hoff, A., et al.: Consistency-preserving evolution planning on feature models. In: Lopez-Herrejon, R.E. (ed.) 24th ACM International Systems and Software Product Line Conference, Volume A, SPLC 2020, pp. 8:1\u20138:12. ACM (2020). https:\/\/doi.org\/10.1145\/3382025.3414964","DOI":"10.1145\/3382025.3414964"},{"issue":"8","key":"25_CR11","doi-asserted-by":"publisher","first-page":"1010","DOI":"10.1016\/j.scico.2012.05.003","volume":"78","author":"MA Laguna","year":"2013","unstructured":"Laguna, M.A., Crespo, Y.: A systematic mapping study on software product line evolution: from legacy system reengineering to product line refactoring. Sci. Comput. Program. 78(8), 1010\u20131034 (2013). https:\/\/doi.org\/10.1016\/j.scico.2012.05.003","journal-title":"Sci. Comput. Program."},{"key":"25_CR12","doi-asserted-by":"publisher","unstructured":"Lambers, L., Str\u00fcber, D., Taentzer, G., Born, K., Huebert, J.: Multi-granular conflict and dependency analysis in software engineering based on graph transformation. In: ICSE 2018, pp. 716\u2013727. Association for Computing Machinery, New York (2018). https:\/\/doi.org\/10.1145\/3180155.3180258","DOI":"10.1145\/3180155.3180258"},{"key":"25_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-319-21145-9_11","volume-title":"Graph Transformation","author":"R Machado","year":"2015","unstructured":"Machado, R., Ribeiro, L., Heckel, R.: Characterizing conflicts between rule application and rule evolution in graph transformation systems. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 171\u2013186. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21145-9_11"},{"key":"25_CR14","doi-asserted-by":"publisher","unstructured":"Mauro, J., Nieke, M., Seidl, C., Yu, I.C.: Anomaly detection and explanation in context-aware software product lines. In: ter Beek, M.H., et al. (eds.) 21st International Systems and Software Product Line Conference, SPLC 2017, Volume B, pp. 18\u201321. ACM (2017). https:\/\/doi.org\/10.1145\/3109729.3109752","DOI":"10.1145\/3109729.3109752"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.scico.2018.05.002","volume":"163","author":"J Mauro","year":"2018","unstructured":"Mauro, J., Nieke, M., Seidl, C., Yu, I.C.: Context-aware reconfiguration in evolving software product lines. Sci. Comput. Program. 163, 139\u2013159 (2018). https:\/\/doi.org\/10.1016\/j.scico.2018.05.002","journal-title":"Sci. Comput. Program."},{"key":"25_CR16","unstructured":"Mitschke, R., Eichberg, M.: Supporting the evolution of software product lines. In: ECMDA Traceability Workshop (2008). http:\/\/tubiblio.ulb.tu-darmstadt.de\/34815\/"},{"key":"25_CR17","unstructured":"Motzfeldt, I.S.: Modular Soundness Checking of Feature Model Evolution Plans. Master\u2019s thesis, University of Oslo (2021). http:\/\/urn.nb.no\/URN:NBN:no-91791"},{"key":"25_CR18","doi-asserted-by":"publisher","unstructured":"Motzfeldt, I.S., Yu, I.C., Din, C.C., Pun, V.K.I, Stolz, V.: Software artefact for: modular soundness checking of feature model evolution plans. In: Motzfeldt, I.S., et al., ICTAC 2023 (2023). https:\/\/doi.org\/10.5281\/zenodo.8362683, original source at: https:\/\/github.com\/idamotz\/Master\/tree\/master\/soundness-checker","DOI":"10.5281\/zenodo.8362683"},{"key":"25_CR19","doi-asserted-by":"publisher","unstructured":"Neves, L., Teixeira, L., Sena, D., Alves, V., Kulesza, U., Borba, P.: Investigating the safe evolution of software product lines. In: 10th ACM International Conference on Generative Programming and Component Engineering, GPCE 2011, pp. 33\u201342. Association for Computing Machinery, New York (2011). https:\/\/doi.org\/10.1145\/2047862.2047869","DOI":"10.1145\/2047862.2047869"},{"key":"25_CR20","doi-asserted-by":"publisher","unstructured":"Nieke, M., Engel, G., Seidl, C.: DarwinSPL: an integrated tool suite for modeling evolving context-aware software product lines. In: ter Beek, M.H., Siegmund, N., Schaefer, I. (eds.) 11th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2017, pp. 92\u201399. ACM (2017). https:\/\/doi.org\/10.1145\/3023956.3023962","DOI":"10.1145\/3023956.3023962"},{"key":"25_CR21","doi-asserted-by":"publisher","unstructured":"Passos, L., Czarnecki, K., Apel, S., W\u0105sowski, A., K\u00e4stner, C., Guo, J.: Feature-oriented software evolution. In: VaMoS 2013. Association for Computing Machinery, New York (2013). https:\/\/doi.org\/10.1145\/2430502.2430526","DOI":"10.1145\/2430502.2430526"},{"issue":"10","key":"25_CR22","doi-asserted-by":"publisher","first-page":"2261","DOI":"10.1016\/j.jss.2011.08.008","volume":"85","author":"A Pleuss","year":"2012","unstructured":"Pleuss, A., Botterweck, G., Dhungana, D., Polzer, A., Kowalewski, S.: Model-driven support for product line evolution on feature level. J. Syst. Softw. 85(10), 2261\u20132274 (2012). https:\/\/doi.org\/10.1016\/j.jss.2011.08.008","journal-title":"J. Syst. Softw."},{"key":"25_CR23","doi-asserted-by":"publisher","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer, Cham (2005). https:\/\/doi.org\/10.1007\/3-540-28901-1","DOI":"10.1007\/3-540-28901-1"},{"key":"25_CR24","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jss.2019.04.051","volume":"155","author":"G Sampaio","year":"2019","unstructured":"Sampaio, G., Borba, P., Teixeira, L.: Partially safe evolution of software product lines. J. Syst. Softw. 155, 17\u201342 (2019). https:\/\/doi.org\/10.1016\/j.jss.2019.04.051","journal-title":"J. Syst. Softw."},{"key":"25_CR25","unstructured":"Schw\u00e4gerl, F.: Version Control and Product Lines in Model-Driven Software Engineering. Ph.D. thesis, University of Bayreuth, Germany (2018). https:\/\/epub.uni-bayreuth.de\/3554\/"},{"key":"25_CR26","unstructured":"Seidl, C., Schaefer, I., A\u00dfmann, U.: DeltaEcore - A model-based delta language generation framework. In: Fill, H., Karagiannis, D., Reimer, U. (eds.) Modellierung 2014, 19.-21. M\u00e4rz 2014, Wien, \u00d6sterreich. LNI, vol. P-225, pp. 81\u201396. GI (2014). https:\/\/dl.gi.de\/20.500.12116\/17067"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2023"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-47963-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T21:43:39Z","timestamp":1700689419000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-47963-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031479625","9783031479632"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-47963-2_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"23 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lima","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Peru","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 December 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ictac2023.compsust.utec.edu.pe\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}