{"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":1792184894678,"version":"4.4.0"},"publisher-location":"New York, NY, USA","reference-count":38,"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"}],"funder":[{"DOI":"10.13039\/501100006012","name":"Christian Doppler Forschungsgesellschaft","doi-asserted-by":"publisher","award":["VaSiCS"],"award-info":[{"award-number":["VaSiCS"]}],"id":[{"id":"10.13039\/501100006012","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["CRC 1608 ? 501798263"],"award-info":[{"award-number":["CRC 1608 ? 501798263"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,22]]},"DOI":"10.1145\/3652620.3688216","type":"proceedings-article","created":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T18:06:36Z","timestamp":1730397996000},"page":"945-949","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Managing Variability of Cyber-Physical Production Systems: Towards Consistency Management"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8361-6190","authenticated-orcid":false,"given":"Hafiyyan Sayyid","family":"Fadhlillah","sequence":"first","affiliation":[{"name":"CDL VaSiCS, LIT CPS Lab, Johannes Kepler University Linz, Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8950-0092","authenticated-orcid":false,"given":"Sandra","family":"Greiner","sequence":"additional","affiliation":[{"name":"ACP Section, Institute of Mathematics and Computer Science, University of Southern Denmark, Odense, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1182-5377","authenticated-orcid":false,"given":"Kevin","family":"Feichtinger","sequence":"additional","affiliation":[{"name":"Dependability of Software-intensive Systems, Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"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, Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1306-3209","authenticated-orcid":false,"given":"Alois","family":"Zoitl","sequence":"additional","affiliation":[{"name":"CDL VaSiCS, LIT CPS Lab, Johannes Kepler University Linz, Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,10,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-021-10097-z"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3564719.3568685"},{"key":"e_1_3_2_1_3_1","volume-title":"Feature-Oriented Software Product Lines - Concepts and Implementation","author":"Apel Sven","unstructured":"Sven Apel, Don S. Batory, Christian K\u00e4stner, and Gunter Saake. 2013. Feature-Oriented Software Product Lines - Concepts and Implementation. Springer."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489861.2489868"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00751ED2V01Y201701SWE004"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cola.2023.101223"},{"key":"e_1_3_2_1_8_1","volume-title":"Theory and Applications of Satisfiability Testing","author":"E\u00e9n Niklas","unstructured":"Niklas E\u00e9n and Niklas S\u00f6rensson. 2004. An Extensible SAT-solver. In Theory and Applications of Satisfiability Testing, Enrico Giunchiglia and Armando Tacchella (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 502--518."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134339"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503235"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510466.3511273"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3579027.3608994"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cola.2021.101034"},{"key":"e_1_3_2_1_14_1","volume-title":"Industry Voices on Software Engineering Challenges in Cyber-Physical Production Systems Engineering. In 2022 IEEE 27th Int'l Conf. on Emerging Technologies and Factory Automation (ETFA). 1--8","author":"Feichtinger Kevin","unstructured":"Kevin Feichtinger, Kristof Meixner, Felix Rinker, Istv\u00e1n Koren, Holger Eichelberger, Tonja Heinemann, J\u00f6rg Holtmann, Marco Konersmann, Judith Michael, Eva-Maria Neumann, J\u00e9r\u00f4me Pfeiffer, Rick Rabiser, Matthias Riebisch, and Klaus Schmid. 2022. Industry Voices on Software Engineering Challenges in Cyber-Physical Production Systems Engineering. In 2022 IEEE 27th Int'l Conf. on Emerging Technologies and Factory Automation (ETFA). 1--8."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3546932.3546990"},{"key":"e_1_3_2_1_16_1","volume-title":"A Foolish Consistency: Technical Challenges in Consistency Management","author":"Finkelstein Anthony","unstructured":"Anthony Finkelstein. 2000. A Foolish Consistency: Technical Challenges in Consistency Management. In Database and Expert Systems Applications, Mohamed Ibrahim, Josef K\u00fcng, and Norman Revell (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 1--5."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.02.002"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3442391.3442399"},{"key":"e_1_3_2_1_19_1","volume-title":"Model Synchronisation: Definitions for Round-Trip Engineering. In Theory and Practice of Model Transformations","author":"Hettel Thomas","year":"2008","unstructured":"Thomas Hettel, Michael Lawley, and Kerry Raymond. 2008. Model Synchronisation: Definitions for Round-Trip Engineering. In Theory and Practice of Model Transformations, Antonio Vallecillo, Jeff Gray, and Alfonso Pierantonio (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 31--45."},{"key":"e_1_3_2_1_20_1","volume-title":"Electrotechnical Commission","year":"2012","unstructured":"Int. Electrotechnical Commission. 2012. IEC 61499-1, Function Blocks - part 1: Architecture: Edition 2.0."},{"key":"e_1_3_2_1_21_1","unstructured":"Int'l Electrotechnical Commission (IEC) TC65\/WG6. 2012. IEC 61499-1 Function Blocks - part 1: Architecture: Edition 2.0."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110815"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3593434.3593482"},{"key":"e_1_3_2_1_25_1","volume-title":"Generating repairs for inconsistent models. Software and Systems Modeling 22, 1 (01","author":"Marchezan Luciano","year":"2023","unstructured":"Luciano Marchezan, Roland Kretschmer, Wesley K. G. Assun\u00e7\u00e3o, Alexander Reder, and Alexander Egyed. 2023. Generating repairs for inconsistent models. Software and Systems Modeling 22, 1 (01 Feb 2023), 297--329."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.112007"},{"key":"e_1_3_2_1_27_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."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2021.01.128"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351707"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568267"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3461001.3473060"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2003.04.002"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1944892.1944907"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"George Spanoudakis and Andrea Zisman. 2001. Inconsistency management in software engineering: Survey and open research issues. World Scientific 329--380.","DOI":"10.1142\/9789812389718_0015"},{"key":"e_1_3_2_1_36_1","volume-title":"A systematic literature review of cross-domain model consistency checking by model management tools. Software and Systems Modeling 20, 3 (01","author":"Torres Weslley","year":"2021","unstructured":"Weslley Torres, Mark G. J. van den 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--916."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859009"},{"key":"e_1_3_2_1_38_1","volume-title":"Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines","author":"Vierhauser Michael","unstructured":"Michael Vierhauser, Paul Gr\u00fcnbacher, Wolfgang Heider, Gerald Holl, and Daniela Lettner. 2012. Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines. In Model Driven Engineering Languages and Systems, Robert B. France, J\u00fcrgen Kazmeier, Ruth Breu, and Colin Atkinson (Eds.). Springer, Springer Berlin Heidelberg, Berlin, Heidelberg, 531--545."},{"key":"e_1_3_2_1_39_1","volume-title":"Inconsistency: The good, the bad, and the ugly. In 2009 IEEE Int'l Conf. on Information Reuse & Integration. 182--187.","author":"Zhang Du","year":"2009","unstructured":"Du Zhang. 2009. Inconsistency: The good, the bad, and the ugly. In 2009 IEEE Int'l Conf. on Information Reuse & Integration. 182--187."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2013.6622910"}],"event":{"name":"MODELS Companion '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","location":"Linz Austria","acronym":"MODELS Companion '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Johannes Kepler University Linz","IEEE CS"]},"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.3688216","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652620.3688216","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.3688216"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":38,"alternative-id":["10.1145\/3652620.3688216","10.1145\/3652620"],"URL":"https:\/\/doi.org\/10.1145\/3652620.3688216","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"}}]}}