{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:02:04Z","timestamp":1750309324728,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T00:00:00Z","timestamp":1726963200000},"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":[[2024,9,22]]},"DOI":"10.1145\/3652620.3688220","type":"proceedings-article","created":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T18:06:36Z","timestamp":1730397996000},"page":"980-989","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["From Products to Product Lines: a Model-based Methodology"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2429-4958","authenticated-orcid":false,"given":"Alessio","family":"Di Sandro","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-1150-5704","authenticated-orcid":false,"given":"Logan","family":"Murphy","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-2611-8670","authenticated-orcid":false,"given":"Torin","family":"Viger","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6301-3517","authenticated-orcid":false,"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"R. Alur D. Arney E. Gunter I. Lee J. Lee W. Nam F. Pearce S. Van Albert and J. Zhou. 2004. Formal Specifications and Analysis of the Computer-Assisted Resuscitation Algorithm (CARA) Infusion Pump Control System. STTT 5 (2004).","DOI":"10.1007\/s10009-003-0132-7"},{"volume-title":"Feature-oriented software product lines","author":"Apel Sven","key":"e_1_3_2_1_2_1","unstructured":"Sven Apel, Don Batory, Christian K\u00e4stner, and Gunter Saake. 2013. Feature-oriented software product lines. Springer."},{"volume-title":"Principles of model checking","author":"Baier C.","key":"e_1_3_2_1_3_1","unstructured":"C. Baier and J.-P. Katoen. 2008. Principles of model checking. MIT press."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.09.006"},{"volume-title":"Evolving Software Systems","author":"Botterweck Goetz","key":"e_1_3_2_1_5_1","unstructured":"Goetz Botterweck and Andreas Pleuss. 2013. Evolution of software product lines. In Evolving Software Systems. Springer, 265--295."},{"volume-title":"Proc. of GaMMa'06","author":"Brunet G.","key":"e_1_3_2_1_6_1","unstructured":"G. Brunet, M. Chechik, S. Easterbrook, S. Nejati, N. Niu, and M. Sabetzadeh. 2006. A Manifesto for Model Merging. In Proc. of GaMMa'06. 5--12."},{"volume-title":"Proc. of ECMFA'12","author":"Buchmann T.","key":"e_1_3_2_1_7_1","unstructured":"T. Buchmann, F. Schw\u00e4gerl, H. St\u00f6rrle, G. Botterweck, M. Bourdells, D. Kolovos, and R. Paige. 2012. FAMILE: Tool Support for Evolving Model-driven Product Lines. In Proc. of ECMFA'12. 59--62."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-015-0185-3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173738"},{"volume-title":"Proc. of ICSME'14","author":"Fischer S.","key":"e_1_3_2_1_11_1","unstructured":"S. Fischer, L. Linsbauer, R. Lopez-Herrejon, and A. Egyed. 2014. Enhancing clone-and-own with systematic reuse for developing software variants. In Proc. of ICSME'14. IEEE, 391--400."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3442391.3442399"},{"key":"e_1_3_2_1_13_1","volume-title":"Fabian Lesniak, Marc Schindewolf, J\u00fcrgen Becker, and Eric Sax.","author":"Guissouma Houssem","year":"2022","unstructured":"Houssem Guissouma, Carl Philipp Hohl, Fabian Lesniak, Marc Schindewolf, J\u00fcrgen Becker, and Eric Sax. 2022. Lifecycle management of automotive safety-critical over the air updates: A systems approach. IEEE Access 10 (2022)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370175.1370199"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3461002.3473942"},{"volume-title":"Proc. of MISE'16","author":"Kokaly S.","key":"e_1_3_2_1_16_1","unstructured":"S. Kokaly, R. Salay, M. Sabetzadeh, M. Chechik, and T. Maibaum. 2016. Model management for regulatory compliance: a position paper. In Proc. of MISE'16."},{"key":"e_1_3_2_1_17_1","first-page":"63","article-title":"Delta-oriented model-based integration testing of large-scale systems","volume":"91","author":"Lochau M.","year":"2014","unstructured":"M. Lochau, S. Lity, R. Lachmann, I. Schaefer, and U. Goltz. 2014. Delta-oriented model-based integration testing of large-scale systems. SoSyM 91 (2014), 63--84.","journal-title":"SoSyM"},{"volume-title":"Proc. of ICSR'13","author":"Luo Y.","key":"e_1_3_2_1_18_1","unstructured":"Y. Luo, M. van den Brand, L. Engelen, J. Favaro, M. Klabbers, and G. Sartori. 2013. Extracting models from ISO 26262 for reusable safety assurance. In Proc. of ICSR'13. 192--207."},{"volume-title":"Proc. of MODELS'15 Demos. 9--11","author":"Madiot F.","key":"e_1_3_2_1_19_1","unstructured":"F. Madiot and M. Paganelli. 2015. Eclipse Sirius Demonstration. In Proc. of MODELS'15 Demos. 9--11."},{"volume-title":"Proc. of Future of SE'14","author":"Metzger A.","key":"e_1_3_2_1_20_1","unstructured":"A. Metzger and K. Pohl. 2014. Software product line engineering and variability management: achievements and challenges. In Proc. of Future of SE'14. 70--84."},{"volume-title":"Proc. of SPLC'23","author":"Murphy L.","key":"e_1_3_2_1_21_1","unstructured":"L. Murphy, A. Di Sandro, R. Shahin, and M. Chechik. 2023. Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models. In Proc. of SPLC'23. ACM, 117--128."},{"volume-title":"Proc. of iFM '24","author":"Murphy L.","key":"e_1_3_2_1_22_1","unstructured":"L. Murphy, T. Viger, A. Di Sandro, and M. Chechik. 2024. PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. In Proc. of iFM '24."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_20"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568267"},{"volume-title":"Proc. of MODELS'15","author":"Sandro A. Di","key":"e_1_3_2_1_25_1","unstructured":"A. Di Sandro, R. Salay, M. Famelis, S. Kokaly, and M. Chechik. 2015. MMINT: A Graphical Tool for Interactive Model Management. In Proc. of MODELS'15."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571788.3571791"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362550"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"R. Shahin M. Akhundov and M. Chechik. 2022. Annotative Software Product Line Analysis Using Variability-aware Datalog. IEEE Trans. on Soft. Eng. (2022).","DOI":"10.36227\/techrxiv.14870187"},{"key":"e_1_3_2_1_29_1","article-title":"Efficient static analysis and verification of featured transition systems","volume":"27","author":"Beek M.","year":"2022","unstructured":"M. ter Beek, F. Damiani, M. Lienhardt, F. Mazzanti, and L. Paolini. 2022. Efficient static analysis and verification of featured transition systems. J. Empirical Soft. Eng. 27, 1 (2022).","journal-title":"J. Empirical Soft. Eng."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0530-4"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLINE.2007.23"}],"event":{"name":"MODELS Companion '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Johannes Kepler University Linz","IEEE CS"],"location":"Linz Austria","acronym":"MODELS Companion '24"},"container-title":["Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3688220","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652620.3688220","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:01Z","timestamp":1750291441000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3688220"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":31,"alternative-id":["10.1145\/3652620.3688220","10.1145\/3652620"],"URL":"https:\/\/doi.org\/10.1145\/3652620.3688220","relation":{},"subject":[],"published":{"date-parts":[[2024,9,22]]},"assertion":[{"value":"2024-10-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}