{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T17:19:09Z","timestamp":1782753549414,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":30,"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:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"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.3688565","type":"proceedings-article","created":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T18:06:36Z","timestamp":1730397996000},"page":"915-919","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1182-5377","authenticated-orcid":false,"given":"Kevin","family":"Feichtinger","sequence":"first","affiliation":[{"name":"KASTEL - Dependability of Software-intensive Systems, Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-6829-4260","authenticated-orcid":false,"given":"Karl","family":"Kegel","sequence":"additional","affiliation":[{"name":"Institute of Software and Multimedia Technology - Software Technology, Dresden University of Technology, Dresden, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1282-1933","authenticated-orcid":false,"given":"Romain","family":"Pascual","sequence":"additional","affiliation":[{"name":"KASTEL - Application-oriented Formal Verification, Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3513-6448","authenticated-orcid":false,"given":"Uwe","family":"A\u00dfmann","sequence":"additional","affiliation":[{"name":"Institute of Software and Multimedia Technology - Software Technology, Dresden University of Technology, Dresden, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9672-3291","authenticated-orcid":false,"given":"Bernhard","family":"Beckert","sequence":"additional","affiliation":[{"name":"KASTEL - Application-oriented Formal Verification, Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9308-6290","authenticated-orcid":false,"given":"Ralf","family":"Reussner","sequence":"additional","affiliation":[{"name":"KASTEL - Dependability of Software-intensive Systems, Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,10,31]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Identification of Inconsistencies in Agile CPS Engineering with Formula Student. In ISPIM Innovation Conference.","author":"Albers Albert","year":"2024","unstructured":"Albert Albers, Anne Koziolek, Thomas Alexander V\u00f6lk, Monika Klippert, Felix Pfaff, Robert Stolpmann, and Stefan Eric Schwarz. 2024. Identification of Inconsistencies in Agile CPS Engineering with Formula Student. In ISPIM Innovation Conference."},{"key":"e_1_3_2_1_2_1","volume-title":"Modelling Foundations and Applications (Lecture Notes in Computer Science)","author":"Anjorin Anthony","unstructured":"Anthony Anjorin, Sebastian Rose, Frederik Deckwerth, and Andy Sch\u00fcrr. 2014. Efficient Model Synchronization with View Triple Graph Grammars. In Modelling Foundations and Applications (Lecture Notes in Computer Science). Springer International Publishing, Cham, 1--17."},{"key":"e_1_3_2_1_3_1","volume-title":"Evaluation of Novel Approaches to Software Engineering","author":"Atkinson Colin","unstructured":"Colin Atkinson, Dietmar Stoll, and Philipp Bostan. 2010. Orthographic Software Modeling: A Practical Approach to View-Based Development. In Evaluation of Novel Approaches to Software Engineering. Springer, Berlin, Heidelberg."},{"key":"e_1_3_2_1_4_1","volume-title":"Database Repairs and Consistent Query Answering","author":"Bertossi Leopoldo","unstructured":"Leopoldo Bertossi. 2011. Database Repairs and Consistent Query Answering. Morgan & Claypool Publishers."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328487"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"H. Bowman M.W.A. Steen E.A. Boiten and J. Derrick. 2002. A Formal Framework for Viewpoint Consistency. Formal Methods in System Design 21 2 (2002).","DOI":"10.1023\/A:1016000201864"},{"key":"e_1_3_2_1_7_1","volume-title":"AutoFocus- Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Informatik Forschung und Entwicklung 14, 3","author":"Broy Manfred","year":"1999","unstructured":"Manfred Broy, Franz Huber, and Bernhard Sch\u00e4tz. 1999. AutoFocus- Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Informatik Forschung und Entwicklung 14, 3 (1999)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.277"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","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 International Conference on Emerging Technologies and Factory Automation (ETFA). 1--8.","DOI":"10.1109\/ETFA52439.2022.9921568"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44469-6_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.310667"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"A. Finkelstein J. Kramer B. Nuseibeh L. Finkelstein and M. Goedicke. 1992. Viewpoints: a framework for integrating multiple perspectives in system development. Int. J. Softw. Eng. Knowl. Eng. (1992) 31--57.","DOI":"10.1142\/S0218194092000038"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232424"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3426425.3426931"},{"key":"e_1_3_2_1_15_1","volume-title":"Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday","author":"Giese Holger","unstructured":"Holger Giese, Stephan Hildebrandt, and Stefan Neumann. 2010. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday. Springer, Berlin, Heidelberg, 555--579."},{"key":"e_1_3_2_1_16_1","volume-title":"Ilyas and Xu Chu","author":"Ihab","year":"2015","unstructured":"Ihab F. Ilyas and Xu Chu. 2015. Trends in Cleaning Relational Data: Consistency and Deduplication. Foundations and Trends\u00ae in Databases 5, 4 (2015), 281--393."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2024.23.3.a2"},{"key":"e_1_3_2_1_18_1","volume-title":"Commonalities for Preserving Consistency of Multiple Models. In 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). 371--378","author":"Klare Heiko","year":"2019","unstructured":"Heiko Klare and Joshua Gleitze. 2019. Commonalities for Preserving Consistency of Multiple Models. In 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). 371--378."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110815"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2021.102729"},{"key":"e_1_3_2_1_21_1","volume-title":"Specification languages for preserving consistency between models of different languages","author":"Kramer Max Emanuel","unstructured":"Max Emanuel Kramer. 2019. Specification languages for preserving consistency between models of different languages. Vol. 24. KIT Scientific Publishing."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837462"},{"key":"e_1_3_2_1_23_1","volume-title":"A systematic review of UML model consistency management. IST","author":"Lucas Francisco J.","year":"2009","unstructured":"Francisco J. Lucas, Fernando Molina, and Ambrosio Toval. 2009. A systematic review of UML model consistency management. IST (2009)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"K.D. Muller-Glaser G. Frick E. Sax and M. Kuhl. 2004. Multiparadigm modeling in embedded systems design. IEEE Trans. Control Syst. Technol. (2004) 279--292.","DOI":"10.1109\/TCST.2004.824340"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Romain Pascual Bernhard Beckert Mattias Ulbrich Michael Kirsten and Wolfram Pfeifer. 2024. Formal Foundations of Consistency in Model-Driven Development. In ISoLA. to appear.","DOI":"10.1007\/978-3-031-75380-0_11"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"J. Schallow K. Magenheimer J. Deuse and G. Reinhart. 2012. Application Protocols for Standardising of Processes and Data in Digital Manufacturing. In Enabling Manufacturing Competitiveness and Economic Sustainability. Springer Berlin Heidelberg 648--653.","DOI":"10.1007\/978-3-642-23860-4_106"},{"key":"e_1_3_2_1_27_1","volume-title":"Model-driven software development: technology, engineering, management","author":"Stahl Thomas","unstructured":"Thomas Stahl, Markus V\u00f6lter, and Krzysztof Czarnecki. 2006. Model-driven software development: technology, engineering, management. John Wiley & Sons, Inc."},{"key":"e_1_3_2_1_28_1","volume-title":"Maintaining consistency in networks of models: bidirectional transformations in the large. Software and Systems Modeling 19","author":"Stevens Perdita","year":"2020","unstructured":"Perdita Stevens. 2020. Maintaining consistency in networks of models: bidirectional transformations in the large. Software and Systems Modeling 19 (2020)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-021-00555-2"},{"key":"e_1_3_2_1_30_1","unstructured":"M. V\u00f6lter S Benz C Dietrich B Engelmann M Helander LCL Kats E Visser and GH Wachsmuth. 2013. DSL Engineering - Designing implementing and using domain-specific languages. M Volter \/ DSLBook.org. NEO."}],"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.3688565","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652620.3688565","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:10:15Z","timestamp":1750295415000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3688565"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":30,"alternative-id":["10.1145\/3652620.3688565","10.1145\/3652620"],"URL":"https:\/\/doi.org\/10.1145\/3652620.3688565","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"}}]}}