{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,9]],"date-time":"2026-10-09T22:04:32Z","timestamp":1791583472657,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":40,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,19]]},"DOI":"10.1145\/3382026.3425770","type":"proceedings-article","created":{"date-parts":[[2020,10,27]],"date-time":"2020-10-27T10:08:36Z","timestamp":1603793316000},"page":"65-73","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Variability Transformation from Industrial Engineering Artifacts"],"prefix":"10.1145","author":[{"given":"Kevin","family":"Feichtinger","sequence":"first","affiliation":[{"name":"LIT CPS Lab, Johannes Kepler University Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kristof","family":"Meixner","sequence":"additional","affiliation":[{"name":"Christian Doppler Lab CDL-SQI, ISE, TU Wien, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rick","family":"Rabiser","sequence":"additional","affiliation":[{"name":"LIT CPS Lab, Johannes Kepler University Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"Biffl","sequence":"additional","affiliation":[{"name":"Inst. of Information Systems Eng., TU Wien, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","article-title":"Teaching Software Product Lines: A Snapshot of Current Practices and Challenges","volume":"18","author":"Lopez-Herrejon Roberto","year":"2017","unstructured":"Mathieu. Acher, Roberto Lopez-Herrejon , and Rick Rabiser . 2017 . Teaching Software Product Lines: A Snapshot of Current Practices and Challenges . ACM Transactions on Computing Education 18 , 1 (2017), 2:1--2:31. Mathieu. Acher, Roberto Lopez-Herrejon, and Rick Rabiser. 2017. Teaching Software Product Lines: A Snapshot of Current Practices and Challenges. ACM Transactions on Computing Education 18, 1 (2017), 2:1--2:31.","journal-title":"ACM Transactions on Computing Education"},{"key":"e_1_3_2_1_2_1","volume-title":"Reengineering legacy applications into software product lines: a systematic mapping. Empirical Software Engineering 22, 6 (01","author":"Assun\u00e7\u00e3o Wesley K. G.","year":"2017","unstructured":"Wesley K. G. Assun\u00e7\u00e3o , Roberto E. Lopez-Herrejon , Lukas Linsbauer , Silvia R. Vergilio , and Alexander Egyed . 2017. Reengineering legacy applications into software product lines: a systematic mapping. Empirical Software Engineering 22, 6 (01 Dec 2017 ), 2972--3016. Wesley K. G. Assun\u00e7\u00e3o, Roberto E. Lopez-Herrejon, Lukas Linsbauer, Silvia R. Vergilio, and Alexander Egyed. 2017. Reengineering legacy applications into software product lines: a systematic mapping. Empirical Software Engineering 22, 6 (01 Dec 2017), 2972--3016."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.05.006"},{"key":"e_1_3_2_1_4_1","volume-title":"CASE Tool Support for Variability Management in Software Product Lines. ACM Computing Surveys (CSUR) 50, 1","author":"Bashroush Rabih","year":"2017","unstructured":"Rabih Bashroush , Muhammad Garba , Rick Rabiser , Iris Groher , and Goetz Botterweck . 2017. CASE Tool Support for Variability Management in Software Product Lines. ACM Computing Surveys (CSUR) 50, 1 ( 2017 ), 14:1--14:45. Rabih Bashroush, Muhammad Garba, Rick Rabiser, Iris Groher, and Goetz Botterweck. 2017. CASE Tool Support for Variability Management in Software Product Lines. ACM Computing Surveys (CSUR) 50, 1 (2017), 14:1--14:45."},{"key":"e_1_3_2_1_5_1","volume-title":"Feature Models, Grammars, and Propositional Formulas","author":"Batory Don","unstructured":"Don Batory . 2005. Feature Models, Grammars, and Propositional Formulas . In Software Product Lines, Henk Obbink and Klaus Pohl (Eds.). Springer , 7--20. Don Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In Software Product Lines, Henk Obbink and Klaus Pohl (Eds.). Springer, 7--20."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Guillaume B\u00e9can Nicolas Sannier Mathieu Acher Olivier Barais Arnaud Blouin and Benoit Baudry. 2014. Automating the formalization of product comparison matrices. In ASE. ACM 433--444.  Guillaume B\u00e9can Nicolas Sannier Mathieu Acher Olivier Barais Arnaud Blouin and Benoit Baudry. 2014. Automating the formalization of product comparison matrices. In ASE. ACM 433--444.","DOI":"10.1145\/2642937.2643000"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307630.3342398"},{"key":"e_1_3_2_1_8_1","volume-title":"Multi-Disciplinary Engineering for Cyber-Physical Production Systems","author":"Berardinelli Luca","unstructured":"Luca Berardinelli , Alexandra Mazak , Oliver Alt , Manuel Wimmer , and Gerti Kappel . 2017. Model-driven systems engineering: Principles and application in the CPPS domain . In Multi-Disciplinary Engineering for Cyber-Physical Production Systems . Springer , 261--299. Luca Berardinelli, Alexandra Mazak, Oliver Alt, Manuel Wimmer, and Gerti Kappel. 2017. Model-driven systems engineering: Principles and application in the CPPS domain. In Multi-Disciplinary Engineering for Cyber-Physical Production Systems. Springer, 261--299."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430513"},{"key":"e_1_3_2_1_10_1","volume-title":"Multi-Disciplinary Engineering for Cyber-Physical Production Systems","author":"Biffl Stefan","unstructured":"Stefan Biffl , Detlef Gerhard , and Arndt L\u00fcder . 2017. Introduction to the Multi-Disciplinary Engineering for Cyber-Physical Production Systems . In Multi-Disciplinary Engineering for Cyber-Physical Production Systems . Springer , 1--24. Stefan Biffl, Detlef Gerhard, and Arndt L\u00fcder. 2017. Introduction to the Multi-Disciplinary Engineering for Cyber-Physical Production Systems. In Multi-Disciplinary Engineering for Cyber-Physical Production Systems. Springer, 1--24."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00751ED2V01Y201701SWE004"},{"key":"e_1_3_2_1_12_1","first-page":"344","article-title":"A systematic review of evaluation of variability management approaches in software product lines","volume":"53","author":"Chen Lianping","year":"2011","unstructured":"Lianping Chen and Muhammad Ali Babar . 2011 . A systematic review of evaluation of variability management approaches in software product lines . IST 53 , 4 (2011), 344 -- 362 . Lianping Chen and Muhammad Ali Babar. 2011. A systematic review of evaluation of variability management approaches in software product lines. IST 53, 4 (2011), 344--362.","journal-title":"IST"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302333.3302343"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110167"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLINE.2007.24"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0076-6"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362555"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA51224.2020.00037"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.56"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2493899"},{"key":"e_1_3_2_1_21_1","article-title":"MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems","volume":"10","author":"De La Iglesia Didac Gil","year":"2015","unstructured":"Didac Gil De La Iglesia and Danny Weyns . 2015 . MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems . ACM Trans. Auton. Adapt. Syst. 10 , 3, Article 15 (Sept. 2015), 31 pages. Didac Gil De La Iglesia and Danny Weyns. 2015. MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems. ACM Trans. Auton. Adapt. Syst. 10, 3, Article 15 (Sept. 2015), 31 pages.","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377024.3377042"},{"key":"e_1_3_2_1_24_1","volume-title":"Roberto Erick Lopez-Herrejon, and Alexander Egyed","author":"Linsbauer Lukas","year":"2014","unstructured":"Lukas Linsbauer , Roberto Erick Lopez-Herrejon, and Alexander Egyed . 2014 . Feature Model Synthesis with Genetic Programming. In Search-Based Software Engineering, Claire Le Goues and Shin Yoo (Eds.). Springer International Publishing , Cham, 153--167. Lukas Linsbauer, Roberto Erick Lopez-Herrejon, and Alexander Egyed. 2014. Feature Model Synthesis with Genetic Programming. In Search-Based Software Engineering, Claire Le Goues and Shin Yoo (Eds.). Springer International Publishing, Cham, 153--167."},{"key":"e_1_3_2_1_25_1","volume-title":"Mastering Software Variability with FeatureIDE","author":"Meinicke Jens","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_26_1","first-page":"1","article-title":"Towards Modeling Variability of Products, Processes and Resources in Cyber-Physical Production Systems Engineering. In SPLC (B)","volume":"68","author":"Meixner Kristof","year":"2019","unstructured":"Kristof Meixner , Rick Rabiser , and Stefan Biffl . 2019 . Towards Modeling Variability of Products, Processes and Resources in Cyber-Physical Production Systems Engineering. In SPLC (B) . ACM , 68 : 1 -- 68 :8. Kristof Meixner, Rick Rabiser, and Stefan Biffl. 2019. Towards Modeling Variability of Products, Processes and Resources in Cyber-Physical Production Systems Engineering. In SPLC (B). ACM, 68:1--68:8.","journal-title":"ACM"},{"key":"e_1_3_2_1_27_1","first-page":"1","article-title":"Feature Identification for Engineering Model Variants in Cyber-Physical Production Systems Engineering","volume":"18","author":"Meixner Kristof","year":"2020","unstructured":"Kristof Meixner , Rick Rabiser , and Stefan Biffl . 2020 . Feature Identification for Engineering Model Variants in Cyber-Physical Production Systems Engineering . In VaMoS. ACM , 18 : 1 -- 18 :5. Kristof Meixner, Rick Rabiser, and Stefan Biffl. 2020. Feature Identification for Engineering Model Variants in Cyber-Physical Production Systems Engineering. In VaMoS. ACM, 18:1--18:5.","journal-title":"VaMoS. ACM"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2014.03.115"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.11.018"},{"key":"e_1_3_2_1_30_1","volume-title":"Software Product Lines: Going Beyond","author":"Oster Sebastian","unstructured":"Sebastian Oster , Florian Markert , and Philipp Ritter . 2010. Automated Incremental Pairwise Testing of Software Product Lines . In Software Product Lines: Going Beyond , Jan Bosch and Jaejoon Lee (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 196--210. Sebastian Oster, Florian Markert, and Philipp Ritter. 2010. Automated Incremental Pairwise Testing of Software Product Lines. In Software Product Lines: Going Beyond, Jan Bosch and Jaejoon Lee (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 196--210."},{"key":"e_1_3_2_1_31_1","volume-title":"Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines. In 2010 Third International Conference on Software Testing, Verification and Validation. 459--468","author":"Perrouin Gilles","year":"2010","unstructured":"Gilles Perrouin , Sagar Sen , Jacques Klein , Benoit Baudry , and Yves le Traon . 2010 . Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines. In 2010 Third International Conference on Software Testing, Verification and Validation. 459--468 . Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, and Yves le Traon. 2010. Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines. In 2010 Third International Conference on Software Testing, Verification and Validation. 459--468."},{"key":"e_1_3_2_1_32_1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"Pohl Klaus","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_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.12.027"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336310"},{"key":"e_1_3_2_1_35_1","volume-title":"Kiss Workshop (ASE","author":"Frantz Fabricia Roos","year":"2009","unstructured":"Fabricia Roos Frantz , David Felipe Benavides Cuevas , and Antonio Ruiz Cort\u00e9s . 2009 . Feature model to orthogonal variability model transformation towards interoperability between tools. In Knowledge Industry Survival Strategy Initiative , Kiss Workshop (ASE 2009), Auckland, New Zealand. Fabricia Roos Frantz, David Felipe Benavides Cuevas, and Antonio Ruiz Cort\u00e9s. 2009. Feature model to orthogonal variability model transformation towards interoperability between tools. In Knowledge Industry Survival Strategy Initiative, Kiss Workshop (ASE 2009), Auckland, New Zealand."},{"key":"e_1_3_2_1_36_1","first-page":"1","article-title":"Comparing or configuring products: are we getting the right ones?","volume":"9","author":"Sannier Nicolas","year":"2014","unstructured":"Nicolas Sannier , Guillaume B\u00e9can , Mathieu Acher , Sana Ben Nasr , and Benoit Baudry . 2014 . Comparing or configuring products: are we getting the right ones? . In VaMoS. ACM , 9 : 1 -- 9 :7. Nicolas Sannier, Guillaume B\u00e9can, Mathieu Acher, Sana Ben Nasr, and Benoit Baudry. 2014. Comparing or configuring products: are we getting the right ones?. In VaMoS. ACM, 9:1--9:7.","journal-title":"VaMoS. ACM"},{"key":"e_1_3_2_1_37_1","volume-title":"Sana Ben Nasr, and Benoit Baudry","author":"Sannier Nicolas","year":"2013","unstructured":"Nicolas Sannier , Guillaume B\u00e9can , Sana Ben Nasr, and Benoit Baudry . 2013 . On Product Comparison Matrices and Variability Models from a Product Comparison\/Configuration Perspective . Nicolas Sannier, Guillaume B\u00e9can, Sana Ben Nasr, and Benoit Baudry. 2013. On Product Comparison Matrices and Variability Models from a Product Comparison\/Configuration Perspective."},{"key":"e_1_3_2_1_38_1","volume-title":"Requirements and concept for Plug-and-Work. at-Automatisierungstechnik 63, 10","author":"Schleipen Miriam","year":"2015","unstructured":"Miriam Schleipen , Arndt L\u00fcder , Olaf Sauer , Holger Flatt , and J\u00fcrgen Jasperneite . 2015. Requirements and concept for Plug-and-Work. at-Automatisierungstechnik 63, 10 ( 2015 ), 801--820. Miriam Schleipen, Arndt L\u00fcder, Olaf Sauer, Holger Flatt, and J\u00fcrgen Jasperneite. 2015. Requirements and concept for Plug-and-Work. at-Automatisierungstechnik 63, 10 (2015), 801--820."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.23"},{"key":"e_1_3_2_1_40_1","volume-title":"Article 6 (June","author":"Th\u00fcm Thomas","year":"2014","unstructured":"Thomas Th\u00fcm , Sven Apel , Christian K\u00e4stner , Ina Schaefer , and Gunter Saake . 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47, 1 , Article 6 (June 2014 ), 45 pages. Thomas Th\u00fcm, Sven Apel, Christian K\u00e4stner, Ina Schaefer, and Gunter Saake. 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47, 1, Article 6 (June 2014), 45 pages."},{"key":"e_1_3_2_1_41_1","volume-title":"Software Product Lines in Action - The Best Industrial Practice in Product Line Engineering","author":"van der Linden Frank","unstructured":"Frank van der Linden , Klaus Schmid , and Eelco Rommes . 2007. Software Product Lines in Action - The Best Industrial Practice in Product Line Engineering . Springer Berlin Heidelberg . Frank van der Linden, Klaus Schmid, and Eelco Rommes. 2007. Software Product Lines in Action - The Best Industrial Practice in Product Line Engineering. Springer Berlin Heidelberg."}],"event":{"name":"SPLC '20: 24th ACM International Systems and Software Product Line Conference","location":"Montreal QC Canada","acronym":"SPLC '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 24th ACM International Systems and Software Product Line Conference - Volume B"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3382026.3425770","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3382026.3425770","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\/3382026.3425770"}},"subtitle":["An Example in the Cyber-Physical Production Systems Domain"],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":40,"alternative-id":["10.1145\/3382026.3425770","10.1145\/3382026"],"URL":"https:\/\/doi.org\/10.1145\/3382026.3425770","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]},"assertion":[{"value":"2020-10-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}