{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:08:14Z","timestamp":1792184894255,"version":"4.4.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","funder":[{"name":"Christian Doppler Forschungagesellschaft","award":["VaSiCS"],"award-info":[{"award-number":["VaSiCS"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9]]},"DOI":"10.1145\/3748269.3749382","type":"proceedings-article","created":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T09:42:21Z","timestamp":1756719741000},"page":"66-70","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Towards Consistency Management in Variability-Intensive Cyber-Physical Production Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-4378-0425","authenticated-orcid":false,"given":"Malte","family":"Grave","sequence":"first","affiliation":[{"name":"Johannes Kepler Universit\u00e4t Linz, CDL VaSiCS, LIT CPS Lab, Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3862-1112","authenticated-orcid":false,"given":"Rick","family":"Rabiser","sequence":"additional","affiliation":[{"name":"CDL VaSiCS, LIT CPS Lab, Johannes Kepler University Linz, CDL VaSiCS, LIT CPS Lab, Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,9]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"4diac-Team. 2025. 4diac IDE \u2013 IEC 61499 Compliant Development Environment. https:\/\/eclipse.dev\/4diac\/"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/3564719.3568685"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"David Benavides. 2019. Variability modelling and analysis during 30 years. From Software Engineering to Formal Methods and Tools and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (2019) 365\u2013373.","DOI":"10.1007\/978-3-030-30985-5_21"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"David Benavides Sergio Segura and Antonio Ruiz-Cort\u00e9s. 2010. Automated analysis of feature models 20 years later: A literature review. Information Systems 35 6 (2010) 615\u2013636.","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-56345-9_1"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"Istvan David Hans Vangheluwe and Eugene Syriani. 2023. Model consistency as a heuristic for eventual correctness. Journal of Computer Languages 76 (2023) 101223.","DOI":"10.1016\/j.cola.2023.101223"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134339"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503235"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3510466.3511273"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/3579027.3608994"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3652620.3688216"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"crossref","unstructured":"Hafiyyan\u00a0Sayyid Fadhlillah Kristof Meixner Sandra Greiner Antonio\u00a0Manuel Guti\u00e9rrez-Fern\u00e1ndez and Rick Rabiser. 2025. Managing control software variability in Cyber-Physical Production Systems: The V4rdiac approach. Journal of Systems and Software 222 (2025) 112325. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0164121224003698","DOI":"10.1016\/j.jss.2024.112325"},{"key":"e_1_3_3_1_15_2","unstructured":"Miao Fang. 2019. Model-Based Software Derivation for Industrial Automation Management Systems. Ph.\u00a0D. Dissertation. Technische Universit\u00e4t Kaiserslautern."},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3546932.3546990"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Matthias Galster Danny Weyns Dan Tofan Bartosz Michalik and Paris Avgeriou. 2014. Variability in Software Systems - A Systematic Literature Review. IEEE Trans. Software Eng. 40 3 (2014) 282\u2013306.","DOI":"10.1109\/TSE.2013.56"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3442391.3442399"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"Volkan Gunes Steffen Peter Tony Givargis and Frank\u00a0Vahid and. 2014. A Survey on Concepts Applications and Challenges in Cyber-Physical Systems. KSII Transactions on Internet and Information Systems 8 12 (December 2014) 4242\u20134268.","DOI":"10.3837\/tiis.2014.12.001"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"crossref","unstructured":"Heiko Klare Max\u00a0E. Kramer Michael Langhammer Dominik Werle Erik Burger and Ralf Reussner. 2021. Enabling consistency in view-based system development \u2014 The Vitruvius approach. Journal of Systems and Software 171 (2021) 110815.","DOI":"10.1016\/j.jss.2020.110815"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3106195.3106217"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","unstructured":"Francisco\u00a0J. Lucas Fernando Molina and Ambrosio Toval. 2009. A systematic review of UML model consistency management. Information and Software Technology 51 12 (2009) 1631\u20131645.","DOI":"10.1016\/j.infsof.2009.04.009"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3652620.3688558"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"crossref","unstructured":"Luciano Marchezan Roland Kretschmer Wesley\u00a0KG Assun\u00e7\u00e3o Alexander Reder and Alexander Egyed. 2023. Generating repairs for inconsistent models. Software and Systems Modeling 22 1 (2023) 297\u2013329.","DOI":"10.1007\/s10270-022-00996-0"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Kristof Meixner Kevin Feichtinger Hafiyyan\u00a0Sayyid Fadhlillah Sandra Greiner Hannes Marcher Rick Rabiser and Stefan Biffl. 2024. Variability modeling of products processes and resources in cyber\u2013physical production systems engineering. Journal of Systems and Software 211 (2024) 112007.","DOI":"10.1016\/j.jss.2024.112007"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"crossref","unstructured":"L. Monostori B. K\u00e1d\u00e1r T. Bauernhansl S. Kondoh S. Kumara G. Reinhart O. Sauer G. Schuh W. Sihn and K. Ueda. 2016. Cyber-physical systems in manufacturing. CIRP Annals 65 2 (2016) 621\u2013641.","DOI":"10.1016\/j.cirp.2016.06.005"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA54631.2023.10275635"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA45728.2021.9613398"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"crossref","unstructured":"Rick Rabiser and Alois Zoitl. 2021. Towards Mastering Variability in Software-Intensive Cyber-Physical Production Systems. Procedia Computer Science 180 (2021) 50\u201359.","DOI":"10.1016\/j.procs.2021.01.128"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_14"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"crossref","unstructured":"Safdar\u00a0Aqeel Safdar Hong Lu Tao Yue Shaukat Ali and Kunming Nie. 2021. A framework for automated multi-stage and multi-step product configuration of cyber-physical systems. Software and Systems Modeling 20 1 (01 02 2021) 211\u2013265.","DOI":"10.1007\/s10270-020-00803-8"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568267"},{"key":"e_1_3_3_1_34_2","first-page":"329","volume-title":"Inconsistency management in software engineering: Survey and open research issues","author":"Spanoudakis George","year":"2001","unstructured":"George Spanoudakis and Andrea Zisman. 2001. Inconsistency management in software engineering: Survey and open research issues. World Scientific, 329\u2013380."},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"crossref","unstructured":"Weslley Torres Mark G.\u00a0J. van\u00a0den Brand and Alexander Serebrenik. 2021. A systematic literature review of cross-domain model consistency checking by model management tools. Software and Systems Modeling 20 3 (01 Jun 2021) 897\u2013916.","DOI":"10.1007\/s10270-020-00834-1"},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_34"},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/CASE56687.2023.10260555"},{"key":"e_1_3_3_1_38_2","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2013.6622910"}],"event":{"name":"SPLC-B '25: 29th ACM International Systems and Software Product Line Conference - Volume B","location":"A Coru\u00f1a Spain","acronym":"SPLC-B '25","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume B"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3748269.3749382","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T10:38:54Z","timestamp":1756723134000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3748269.3749382"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9]]},"references-count":37,"alternative-id":["10.1145\/3748269.3749382","10.1145\/3748269"],"URL":"https:\/\/doi.org\/10.1145\/3748269.3749382","relation":{},"subject":[],"published":{"date-parts":[[2025,9]]},"assertion":[{"value":"2025-09-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}