{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:30:21Z","timestamp":1742916621249,"version":"3.40.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030638818"},{"type":"electronic","value":"9783030638825"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-63882-5_11","type":"book-chapter","created":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T14:08:03Z","timestamp":1605794883000},"page":"173-191","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Merging Cloned Alloy Models with Colorful Refactorings"],"prefix":"10.1007","author":[{"given":"Chong","family":"Liu","sequence":"first","affiliation":[]},{"given":"Nuno","family":"Macedo","sequence":"additional","affiliation":[]},{"given":"Alcino","family":"Cunha","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,11,19]]},"reference":[{"issue":"6","key":"11_CR1","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J Abrial","year":"2010","unstructured":"Abrial, J., Butler, M.J., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in event-B. Int. J. Softw. Tools Technol. Transf. 12(6), 447\u2013466 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Alves, V., Gheyi, R., Massoni, T., Kulesza, U., Borba, P., de Lucena, C.J.P.: Refactoring product lines. In: GPCE, pp. 201\u2013210. ACM (2006)","DOI":"10.1145\/1173706.1173737"},{"key":"11_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines - Concepts and Implementation","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D.S., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines - Concepts and Implementation. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37521-7"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Apel, S., Scholz, W., Lengauer, C., K\u00e4stner, C.: Detecting dependences and interactions in feature-oriented design. In: ISSRE, pp. 161\u2013170. IEEE Computer Society (2010)","DOI":"10.1109\/ISSRE.2010.11"},{"issue":"6","key":"11_CR5","doi-asserted-by":"publisher","first-page":"2972","DOI":"10.1007\/s10664-017-9499-z","volume":"22","author":"WKG Assun\u00e7\u00e3o","year":"2017","unstructured":"Assun\u00e7\u00e3o, W.K.G., Lopez-Herrejon, R.E., Linsbauer, L., Vergilio, S.R., Egyed, A.: Reengineering legacy applications into software product lines: a systematic mapping. Empirical Softw. Eng. 22(6), 2972\u20133016 (2017)","journal-title":"Empirical Softw. Eng."},{"key":"11_CR6","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)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR7","series-title":"Lecture Notes in Networks and Systems","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-319-33410-3_23","volume-title":"Modelling and Implementation of Complex Systems","author":"M Boubakir","year":"2016","unstructured":"Boubakir, M., Chaoui, A.: A pairwise approach for model merging. In: Chikhi, S., Amine, A., Chaoui, A., Kholladi, M.K., Saidouni, D.E. (eds.) Modelling and Implementation of Complex Systems. LNNS, vol. 1, pp. 327\u2013340. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33410-3_23"},{"issue":"5","key":"11_CR8","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/s10009-012-0234-1","volume":"14","author":"A Classen","year":"2012","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.: Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. 14(5), 589\u2013612 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In: GPCE, pp. 211\u2013220. ACM (2006)","DOI":"10.1145\/1173706.1173738"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Wasowski, A.: Feature diagrams and logics: there and back again. In: SPLC, pp. 23\u201334. IEEE (2007)","DOI":"10.1109\/SPLINE.2007.24"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Fenske, W., Meinicke, J., Schulze, S., Schulze, S., Saake, G.: Variant-preserving refactorings for migrating cloned products to a product line. In: SANER, pp. 316\u2013326. IEEE (2017)","DOI":"10.1109\/SANER.2017.7884632"},{"key":"11_CR12","series-title":"Addison Wesley object technology series","volume-title":"Refactoring - Improving the Design of Existing Code","author":"M Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring - Improving the Design of Existing Code. Addison Wesley object technology series. Addison-Wesley, Boston (1999)"},{"key":"11_CR13","unstructured":"Gheyi, R.: A Refinement Theory for Alloy. Ph.D. thesis, Universidade Federal de Pernambuco (2007)"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.entcs.2004.04.014","volume":"95","author":"R Gheyi","year":"2004","unstructured":"Gheyi, R., Borba, P.: Refactoring alloy specifications. Electron. Notes Theor. Comput. Sci. 95, 227\u2013243 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"11_CR15","unstructured":"Gheyi, R., Massoni, T., Borba, P.: A theory for feature models in Alloy. In: Alloy Workshop @ SIGSOFT FSE, pp. 71\u201380 (2006)"},{"issue":"5","key":"11_CR16","first-page":"684","volume":"17","author":"R Gheyi","year":"2011","unstructured":"Gheyi, R., Massoni, T., Borba, P.: Automatically checking feature model refactorings. J. UCS 17(5), 684\u2013711 (2011)","journal-title":"J. UCS"},{"key":"11_CR17","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis, revised edn. MIT Press, Cambridge (2012)","edition":"revised"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Apel, S., Kuhlemann, M.: Granularity in software product lines. In: ICSE, pp. 311\u2013320. ACM (2008)","DOI":"10.1145\/1368088.1368131"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Klatt, B., Krogmann, K., Seidl, C.: Program dependency analysis for consolidating customized product copies. In: ICSME, pp. 496\u2013500. IEEE (2014)","DOI":"10.1109\/ICSME.2014.81"},{"issue":"4","key":"11_CR20","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s11219-009-9077-8","volume":"17","author":"R Koschke","year":"2009","unstructured":"Koschke, R., Frenzel, P., Breu, A.P.J., Angstmann, K.: Extending the reflexion method for consolidating software variants into product lines. Softw. Qual. J. 17(4), 331\u2013366 (2009)","journal-title":"Softw. Qual. J."},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/3-540-47833-7_25","volume-title":"Software Product-Family Engineering","author":"CW Krueger","year":"2002","unstructured":"Krueger, C.W.: Easing the transition to software mass customization. In: van der Linden, F. (ed.) PFE 2001. LNCS, vol. 2290, pp. 282\u2013293. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-47833-7_25"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-04211-9_11","volume-title":"Formal Foundations of Reuse and Domain Engineering","author":"M Kuhlemann","year":"2009","unstructured":"Kuhlemann, M., Batory, D., Apel, S.: Refactoring feature modules. In: Edwards, S.H., Kulczycki, G. (eds.) ICSR 2009. LNCS, vol. 5791, pp. 106\u2013115. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04211-9_11"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Liebig, J., Janker, A., Garbe, F., Apel, S., Lengauer, C.: Morpheus: variability-aware refactoring in the wild. In: ICSE, vol. 1, pp. 380\u2013391. IEEE (2015)","DOI":"10.1109\/ICSE.2015.57"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Lima, C., do Carmo Machado, I., de Almeida, E.S., von Flach G. Chavez, C.: Recovering the product line architecture of the Apo-Games. In: SPLC, pp. 289\u2013293. ACM (2018)","DOI":"10.1145\/3233027.3236398"},{"issue":"4","key":"11_CR25","doi-asserted-by":"publisher","first-page":"1179","DOI":"10.1007\/s10270-015-0512-y","volume":"16","author":"L Linsbauer","year":"2017","unstructured":"Linsbauer, L., Lopez-Herrejon, R.E., Egyed, A.: Variability extraction and modeling for product variants. Softw. Syst. Modeling 16(4), 1179\u20131199 (2017)","journal-title":"Softw. Syst. Modeling"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-030-35540-1_3","volume-title":"Dependable Software Engineering. Theories, Tools, and Applications","author":"C Liu","year":"2019","unstructured":"Liu, C., Macedo, N., Cunha, A.: Simplifying the analysis of software design variants with a colorful alloy. In: Guan, N., Katoen, J.-P., Sun, J. (eds.) SETTA 2019. LNCS, vol. 11951, pp. 38\u201355. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-35540-1_3"},{"issue":"1","key":"11_CR27","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10270-007-0056-x","volume":"7","author":"S Markovic","year":"2008","unstructured":"Markovic, S., Baar, T.: Refactoring OCL annotated UML class diagrams. Softw. Syst. Modeling 7(1), 25\u201347 (2008)","journal-title":"Softw. Syst. Modeling"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Martinez, J., Thurimella, A.K.: Collaboration and source code driven bottom-up product line engineering. In: SPLC, vol. 2, pp. 196\u2013200. ACM (2012)","DOI":"10.1145\/2364412.2364445"},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-68863-1_11","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"T McComb","year":"2008","unstructured":"McComb, T., Smith, G.: A minimal set of refactoring rules for object-Z. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 170\u2013184. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68863-1_11"},{"key":"11_CR30","unstructured":"Opdyke, W.F.: Refactoring object-oriented frameworks. Ph.D. thesis, University of Illinois at Urbana-Champaign (1992)"},{"issue":"1","key":"11_CR31","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/S0167-6423(00)00018-6","volume":"41","author":"M Plath","year":"2001","unstructured":"Plath, M., Ryan, M.: Feature integration using a feature construct. Sci. Comput. Program. 41(1), 53\u201384 (2001)","journal-title":"Sci. Comput. Program."},{"key":"11_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-28872-2_20","volume-title":"Fundamental Approaches to Software Engineering","author":"J Rubin","year":"2012","unstructured":"Rubin, J., Chechik, M.: Combining related products into product lines. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 285\u2013300. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28872-2_20"},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"Rubin, J., Chechik, M.: N-way model merging. In: ESEC\/SIGSOFT FSE, pp. 301\u2013311. ACM (2013)","DOI":"10.1145\/2491411.2491446"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Schlie, A., Schulze, S., Schaefer, I.: Recovering variability information from source code of clone-and-own software systems. In: VaMoS, pp. 19:1\u201319:9. ACM (2020)","DOI":"10.1145\/3377024.3377034"},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Schulze, S., Richers, O., Schaefer, I.: Refactoring delta-oriented software product lines. In: AOSD, pp. 73\u201384. ACM (2013)","DOI":"10.1145\/2451436.2451446"},{"key":"11_CR36","doi-asserted-by":"crossref","unstructured":"Schulze, S., Th\u00fcm, T., Kuhlemann, M., Saake, G.: Variant-preserving refactoring in feature-oriented software product lines. In: VaMoS, pp. 73\u201381. ACM (2012)","DOI":"10.1145\/2110147.2110156"},{"key":"11_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-642-30885-7_28","volume-title":"Abstract State Machines, Alloy, B, VDM, and Z","author":"H Yaghoubi Shahir","year":"2012","unstructured":"Yaghoubi Shahir, H., Farahbod, R., Gl\u00e4sser, U.: Refactoring abstract state machine models. In: Derrick, J., et al. (eds.) ABZ 2012. LNCS, vol. 7316, pp. 345\u2013348. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30885-7_28"},{"issue":"3","key":"11_CR38","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/S1571-0661(05)80485-2","volume":"70","author":"S Stepney","year":"2002","unstructured":"Stepney, S., Polack, F., Toyn, I.: Refactoring in maintenance and development of Z specifications. Electron. Notes Theor. Comput. Sci. 70(3), 50\u201369 (2002)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"11_CR39","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/j.infsof.2016.08.011","volume":"80","author":"M Tanhaei","year":"2016","unstructured":"Tanhaei, M., Habibi, J., Mirian-Hosseinabadi, S.: Automating feature model refactoring: a model transformation approach. Inf. Softw. Technol. 80, 138\u2013157 (2016)","journal-title":"Inf. Softw. Technol."},{"issue":"4","key":"11_CR40","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1109\/TSE.2011.57","volume":"38","author":"MT Valente","year":"2012","unstructured":"Valente, M.T., Borges, V., Passos, L.T.: A semi-automatic approach for extracting software product lines. IEEE Trans. Software Eng. 38(4), 737\u2013754 (2012)","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-63882-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T01:22:01Z","timestamp":1619227321000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-63882-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030638818","9783030638825"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-63882-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"19 November 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SBMF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ouro Preto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 November 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 November 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sbmf2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sbmf2020.ufop.br\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"59% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3 invited talks are also included. The symposium was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}