{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,9]],"date-time":"2026-10-09T22:04:33Z","timestamp":1791583473315,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,2,23]],"date-time":"2022-02-23T00:00:00Z","timestamp":1645574400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"CDG","award":["CDL-SQI"],"award-info":[{"award-number":["CDL-SQI"]}]},{"name":"FFG","award":["881843"],"award-info":[{"award-number":["881843"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,2,23]]},"DOI":"10.1145\/3510466.3511274","type":"proceedings-article","created":{"date-parts":[[2022,2,13]],"date-time":"2022-02-13T17:06:18Z","timestamp":1644771978000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Efficient Production Process Variability Exploration"],"prefix":"10.1145","author":[{"given":"Kristof","family":"Meixner","sequence":"first","affiliation":[{"name":"TU Wien, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kevin","family":"Feichtinger","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rick","family":"Rabiser","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"Biffl","sequence":"additional","affiliation":[{"name":"TU Wien, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,2,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Feature-Oriented Software Development: Concepts and Implementation","author":"Apel Sven","unstructured":"Sven Apel , Don Batory , Christian Kaestner , and Gunter Saake . 2013. Feature-Oriented Software Development: Concepts and Implementation . Springer . Sven Apel, Don Batory, Christian Kaestner, and Gunter Saake. 2013. Feature-Oriented Software Development: Concepts and Implementation. Springer."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3034827"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430513"},{"key":"e_1_3_2_1_4_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\u201324. 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\u201324."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/3103551"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.12.006"},{"key":"e_1_3_2_1_7_1","volume-title":"Software product lines","author":"Clements Paul","unstructured":"Paul Clements and Linda Northrop . 2002. Software product lines . Addison-Wesley Boston . Paul Clements and Linda Northrop. 2002. Software product lines. Addison-Wesley Boston."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110167"},{"key":"e_1_3_2_1_9_1","volume-title":"Formalizing cardinality-based feature models and their specialization. Software process: Improvement and practice 10, 1","author":"Czarnecki Krzysztof","year":"2005","unstructured":"Krzysztof Czarnecki , Simon Helsen , and Ulrich Eisenecker . 2005. Formalizing cardinality-based feature models and their specialization. Software process: Improvement and practice 10, 1 ( 2005 ), 7\u201329. Krzysztof Czarnecki, Simon Helsen, and Ulrich Eisenecker. 2005. Formalizing cardinality-based feature models and their specialization. Software process: Improvement and practice 10, 1 (2005), 7\u201329."},{"key":"e_1_3_2_1_10_1","volume-title":"Staged configuration through specialization and multilevel configuration of feature models. Software process: improvement and practice 10, 2","author":"Czarnecki Krzysztof","year":"2005","unstructured":"Krzysztof Czarnecki , Simon Helsen , and Ulrich Eisenecker . 2005. Staged configuration through specialization and multilevel configuration of feature models. Software process: improvement and practice 10, 2 ( 2005 ), 143\u2013169. Krzysztof Czarnecki, Simon Helsen, and Ulrich Eisenecker. 2005. Staged configuration through specialization and multilevel configuration of feature models. Software process: improvement and practice 10, 2 (2005), 143\u2013169."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0076-6"},{"key":"e_1_3_2_1_12_1","volume-title":"DIN 8580 \u2013 Manufacturing processes. https:\/\/standards.globalspec.com\/std\/756719\/DIN%208580 [Online","author":"DIN.","year":"2019","unstructured":"DIN. 2003. DIN 8580 \u2013 Manufacturing processes. https:\/\/standards.globalspec.com\/std\/756719\/DIN%208580 [Online ; accessed 2019 -04-02]. DIN. 2003. DIN 8580 \u2013 Manufacturing processes. https:\/\/standards.globalspec.com\/std\/756719\/DIN%208580 [Online; accessed 2019-04-02]."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382026.3425770"},{"key":"e_1_3_2_1_14_1","volume-title":"Required Capabilities and Challenges. In 24th ACM International Systems and Software Product Line Conference -","volume":"51","author":"Feichtinger Kevin","year":"2020","unstructured":"Kevin Feichtinger and Rick Rabiser . 2020 . Towards Transforming Variability Models: Usage Scenarios , Required Capabilities and Challenges. In 24th ACM International Systems and Software Product Line Conference - Volume B(SPLC \u201920). ACM, 44\u2013 51 . Kevin Feichtinger and Rick Rabiser. 2020. Towards Transforming Variability Models: Usage Scenarios, Required Capabilities and Challenges. In 24th ACM International Systems and Software Product Line Conference - Volume B(SPLC \u201920). ACM, 44\u201351."},{"key":"e_1_3_2_1_15_1","volume-title":"TRAVART: An Approach for Transforming Variability Models. In 15th International Working Conference on Variability Modelling of Software-Intensive Systems. ACM, 8:1\u20138:10","author":"Feichtinger Kevin","year":"2021","unstructured":"Kevin Feichtinger , Johann St\u00f6bich , Dario Romano , and Rick Rabiser . 2021 . TRAVART: An Approach for Transforming Variability Models. In 15th International Working Conference on Variability Modelling of Software-Intensive Systems. ACM, 8:1\u20138:10 . Kevin Feichtinger, Johann St\u00f6bich, Dario Romano, and Rick Rabiser. 2021. TRAVART: An Approach for Transforming Variability Models. In 15th International Working Conference on Variability Modelling of Software-Intensive Systems. ACM, 8:1\u20138:10."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.56"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.02.002"},{"key":"e_1_3_2_1_18_1","volume-title":"SPLC(ACM International Conference Proceeding Series, Vol.\u00a0446)","author":"Hubaux Arnaud","year":"2009","unstructured":"Arnaud Hubaux , Andreas Classen , and Patrick Heymans . 2009 . Formal modelling of feature configuration workflows . In SPLC(ACM International Conference Proceeding Series, Vol.\u00a0446) . ACM, 221\u2013230. Arnaud Hubaux, Andreas Classen, and Patrick Heymans. 2009. Formal modelling of feature configuration workflows. In SPLC(ACM International Conference Proceeding Series, Vol.\u00a0446). ACM, 221\u2013230."},{"key":"e_1_3_2_1_19_1","first-page":"3","article-title":"MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems","volume":"10","author":"De\u00a0La Iglesia Didac Gil","year":"2015","unstructured":"Didac Gil De\u00a0La Iglesia and Danny Weyns . 2015 . MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems . ACM Transactions on Autonomous and Adaptive Systems 10 , 3 (Sept. 2015). Didac Gil De\u00a0La Iglesia and Danny Weyns. 2015. MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems. ACM Transactions on Autonomous and Adaptive Systems 10, 3 (Sept. 2015).","journal-title":"ACM Transactions on Autonomous and Adaptive Systems"},{"key":"e_1_3_2_1_21_1","volume-title":"Production-Aware Analysis of Multi-disciplinary Systems Engineering Processes. In 21st International Conference on Enterprise Information Systems -","volume":"60","author":"Kathrein Lukas","year":"2019","unstructured":"Lukas Kathrein , Arndt L\u00fcder , Kristof Meixner , Dietmar Winkler , and Stefan Biffl . 2019 . Production-Aware Analysis of Multi-disciplinary Systems Engineering Processes. In 21st International Conference on Enterprise Information Systems - Vol. 2: ICEIS,. INSTICC, SciTePress, 48\u2013 60 . Lukas Kathrein, Arndt L\u00fcder, Kristof Meixner, Dietmar Winkler, and Stefan Biffl. 2019. Production-Aware Analysis of Multi-disciplinary Systems Engineering Processes. In 21st International Conference on Enterprise Information Systems - Vol. 2: ICEIS,. INSTICC, SciTePress, 48\u201360."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377024.3377042"},{"key":"e_1_3_2_1_23_1","volume-title":"Third ORSA\/TIMS Conference on Flexible Manufacturing System. 383\u2013388","author":"Lee Sukhan","year":"1989","unstructured":"Sukhan Lee . 1989 . Disassembly planning based on subassembly extraction . In Third ORSA\/TIMS Conference on Flexible Manufacturing System. 383\u2013388 . Sukhan Lee. 1989. Disassembly planning based on subassembly extraction. In Third ORSA\/TIMS Conference on Flexible Manufacturing System. 383\u2013388."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0470-4"},{"key":"e_1_3_2_1_25_1","first-page":"00","article-title":"Reuse-Driven Software Processes Guidebook. techreport SPC-92019-CMC","volume":"02","author":"McCabe Rich","year":"1993","unstructured":"Rich McCabe , Grady Campbell , Neil Burkhard , Steve Wartik , Jim O\u2019Connor , Joe Valent , and Jeff Facemire . 1993 . Reuse-Driven Software Processes Guidebook. techreport SPC-92019-CMC , Version 02 . 00 .03. Software Productivity Consortium. Rich McCabe, Grady Campbell, Neil Burkhard, Steve Wartik, Jim O\u2019Connor, Joe Valent, and Jeff Facemire. 1993. Reuse-Driven Software Processes Guidebook. techreport SPC-92019-CMC, Version 02.00.03. Software Productivity Consortium.","journal-title":"Version"},{"key":"e_1_3_2_1_26_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_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382026.3431247"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3461002.3473946"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307630.3342411"},{"key":"e_1_3_2_1_30_1","first-page":"1","article-title":"Feature Identification for Engineering Model Variants in Cyber-Physical Production Systems Engineering. In 14th International Working Conference on Variability Modelling of Software-Intensive Systems","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 14th International Working Conference on Variability Modelling of Software-Intensive Systems . ACM , 18 : 1 \u2013 18 :5. Kristof Meixner, Rick Rabiser, and Stefan Biffl. 2020. Feature Identification for Engineering Model Variants in Cyber-Physical Production Systems Engineering. In 14th International Working Conference on Variability Modelling of Software-Intensive Systems. ACM, 18:1\u201318:5.","journal-title":"ACM"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA45728.2021.9613674"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.12.004"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Stephan Mennicke Malte Lochau Julia Schroeter and Tim Winkelmann. 2014. Automated verification of feature model configuration processes based on workflow Petri nets. In SPLC. ACM 62\u201371.  Stephan Mennicke Malte Lochau Julia Schroeter and Tim Winkelmann. 2014. Automated verification of feature model configuration processes based on workflow Petri nets. In SPLC. ACM 62\u201371.","DOI":"10.1145\/2648511.2648518"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2014.03.115"},{"key":"e_1_3_2_1_35_1","volume-title":"Concept for Modeling and Usage of Functionally Described Capabilities and Skills. In 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE.","author":"Motsch William","year":"2021","unstructured":"William Motsch , Alexander David , Kirill Dorofeev , and Kathrin Gerber . 2021 . Concept for Modeling and Usage of Functionally Described Capabilities and Skills. In 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE. William Motsch, Alexander David, Kirill Dorofeev, and Kathrin Gerber. 2021. Concept for Modeling and Usage of Functionally Described Capabilities and Skills. In 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.11.018"},{"key":"e_1_3_2_1_37_1","volume-title":"Multi-Disciplinary Engineering for Cyber-Physical Production Systems","author":"Paetzold Kristin","unstructured":"Kristin Paetzold . 2017. Product and Systems Engineering\/CA* Tool Chains . In Multi-Disciplinary Engineering for Cyber-Physical Production Systems . Springer , 27\u201362. Kristin Paetzold. 2017. Product and Systems Engineering\/CA* Tool Chains. In Multi-Disciplinary Engineering for Cyber-Physical Production Systems. Springer, 27\u201362."},{"key":"e_1_3_2_1_38_1","volume-title":"Software Product Line Engineering: Foundations, Principles, and Techniques","author":"Pohl Klaus","unstructured":"Klaus Pohl , G\u00fcnther B\u00f6ckle , and Frank van\u00a0der Linden . 2005. Software Product Line Engineering: Foundations, Principles, and Techniques . Springer . Klaus Pohl, G\u00fcnther B\u00f6ckle, and Frank van\u00a0der Linden. 2005. Software Product Line Engineering: Foundations, Principles, and Techniques. Springer."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491638"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.12.027"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0564-7"},{"key":"e_1_3_2_1_42_1","volume-title":"Software Process Workshop. Springer, 83\u201390","author":"Rombach Dieter","year":"2005","unstructured":"Dieter Rombach . 2005 . Integrated software process and product lines . In Software Process Workshop. Springer, 83\u201390 . Dieter Rombach. 2005. Integrated software process and product lines. In Software Process Workshop. Springer, 83\u201390."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3041957"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2012.82"},{"key":"e_1_3_2_1_45_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\u2013820. 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\u2013820."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9152-9"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338272"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2853726"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cirp.2010.05.008"},{"key":"e_1_3_2_1_50_1","volume-title":"Software Product Lines in Action - The Best Industrial Practice in Product Line Engineering","author":"van\u00a0der Linden Frank","unstructured":"Frank van\u00a0der 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\u00a0der Linden, Klaus Schmid, and Eelco Rommes. 2007. Software Product Lines in Action - The Best Industrial Practice in Product Line Engineering. Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_51_1","volume-title":"Formalised Process Descriptions","author":"VDE","unstructured":"VDI\/ VDE 3682 2005. VDI\/VDE 3682 : Formalised Process Descriptions . Beuth Verlag . VDI\/VDE 3682 2005. VDI\/VDE 3682: Formalised Process Descriptions. Beuth Verlag."},{"key":"e_1_3_2_1_52_1","volume-title":"Design science methodology for information systems and software engineering","author":"Wieringa J","unstructured":"Roel\u00a0 J Wieringa . 2014. Design science methodology for information systems and software engineering . Springer . Roel\u00a0J Wieringa. 2014. Design science methodology for information systems and software engineering. Springer."}],"event":{"name":"VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems","location":"Florence Italy","acronym":"VaMoS '22"},"container-title":["Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510466.3511274","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510466.3511274","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:12:19Z","timestamp":1750191139000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510466.3511274"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,23]]},"references-count":51,"alternative-id":["10.1145\/3510466.3511274","10.1145\/3510466"],"URL":"https:\/\/doi.org\/10.1145\/3510466.3511274","relation":{},"subject":[],"published":{"date-parts":[[2022,2,23]]},"assertion":[{"value":"2022-02-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}