{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:05:50Z","timestamp":1776373550744,"version":"3.51.2"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031753794","type":"print"},{"value":"9783031753800","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T00:00:00Z","timestamp":1730246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T00:00:00Z","timestamp":1730246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-75380-0_11","type":"book-chapter","created":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T08:29:02Z","timestamp":1730190542000},"page":"178-200","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Formal Foundations of\u00a0Consistency in\u00a0Model-Driven Development"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1282-1933","authenticated-orcid":false,"given":"Romain","family":"Pascual","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9672-3291","authenticated-orcid":false,"given":"Bernhard","family":"Beckert","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2350-1831","authenticated-orcid":false,"given":"Mattias","family":"Ulbrich","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9816-1504","authenticated-orcid":false,"given":"Michael","family":"Kirsten","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9478-9641","authenticated-orcid":false,"given":"Wolfram","family":"Pfeifer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,30]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","unstructured":"Ambler, S.: The Object Primer: Agile Model-Driven Development with UML 2.0. Cambridge University Press (2004). https:\/\/doi.org\/10.1017\/CBO9780511584077","DOI":"10.1017\/CBO9780511584077"},{"key":"11_CR2","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-642-14819-4_15","volume-title":"Evaluation of Novel Approaches to Software Engineering","author":"C Atkinson","year":"2010","unstructured":"Atkinson, C., Stoll, D., Bostan, P.: Orthographic software modeling: a practical approach to view-based development. In: Maciaszek, L.A., Gonz\u00e1lez-P\u00e9rez, C., Jablonski, S. (eds.) ENASE 2008. CCIS, vol. 69, pp. 206\u2013219. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14819-4_15"},{"key":"11_CR3","doi-asserted-by":"publisher","unstructured":"Babiak, T., K\u0159et\u00ednsk\u00fd, M., \u0158eh\u00e1k, V., Strej\u010dek, J.: LTL to B\u00fcchi automata translation: Fast and more deterministic. In: Flanagan, C., K\u00f6nig, B. (eds.) Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u00a02012), pp. 95\u2013109. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-28756-5_8","DOI":"10.1007\/978-3-642-28756-5_8"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Bertossi, L.: Database Repairs and Consistent Query Answering, Synthesis Lectures on Data Management, vol.\u00a020. Morgan & Claypool Publishers (M & C) (2011). https:\/\/dl.acm.org\/doi\/10.5555\/2371212","DOI":"10.1007\/978-3-031-01883-1"},{"key":"11_CR5","doi-asserted-by":"publisher","unstructured":"Bohannon, A., Foster, J., Pierce, B., Pilkiewicz, A., Schmitt, A.: Boomerang: resourceful lenses for string data. In: POPL \u201908, Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 407\u2013419. Association for Computing Machinery (2008). https:\/\/doi.org\/10.1145\/1328438.1328487","DOI":"10.1145\/1328438.1328487"},{"issue":"2","key":"11_CR6","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1023\/A:1016000201864","volume":"21","author":"H Bowman","year":"2002","unstructured":"Bowman, H., Steen, M., Boiten, E., Derrick, J.: A formal framework for viewpoint consistency. Formal Methods Syst. Des. 21(2), 111\u2013166 (2002). https:\/\/doi.org\/10.1023\/A:1016000201864","journal-title":"Formal Methods Syst. Des."},{"key":"11_CR7","unstructured":"Crawley, P., Dilworth, R.: Algebraic Theory of Lattices. Prentice-Hall (1973)"},{"key":"11_CR8","doi-asserted-by":"publisher","unstructured":"Demri, S., Gastin, P.: Specification and verification using temporal logics. In: Modern Applications of Automata Theory, IISc Research Monographs Series, vol. 2, pp. 457\u2013493. World Scientific (2011). https:\/\/doi.org\/10.1142\/9789814271059_0015","DOI":"10.1142\/9789814271059_0015"},{"key":"11_CR9","doi-asserted-by":"publisher","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: From state- to delta-based bidirectional model transformations. In: Tratt, L., Gogolla, M. (eds.) 3rd International Conference on Theory and Practice of Model Transformations, pp. 61\u201376. Lecture Notes in Computer Science, Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-13688-7_5","DOI":"10.1007\/978-3-642-13688-7_5"},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0167-9236(93)90022-U","volume":"9","author":"D Dolk","year":"1993","unstructured":"Dolk, D., Kottemann, J.: Model integration and a theory of models. Decis. Support Syst. 9(1), 51\u201363 (1993). https:\/\/doi.org\/10.1016\/0167-9236(93)90022-U","journal-title":"Decis. Support Syst."},{"issue":"1","key":"11_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TKDE.2007.250581","volume":"19","author":"A Elmagarmid","year":"2007","unstructured":"Elmagarmid, A., Ipeirotis, P., Verykios, V.: Duplicate record detection: a survey. IEEE Trans. Knowl. Data Eng. 19(1), 1\u201316 (2007). https:\/\/doi.org\/10.1109\/TKDE.2007.250581","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"11_CR12","doi-asserted-by":"publisher","unstructured":"Foster, J., Greenwald, M., Moore, J., Pierce, B., Schmitt, A.: Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem. ACM Trans. Prog. Lang. Syst. 29(3), 17\u2013es (2007). https:\/\/doi.org\/10.1145\/1232420.1232424","DOI":"10.1145\/1232420.1232424"},{"key":"11_CR13","doi-asserted-by":"publisher","unstructured":"Gastin, P., Oddoux, D.: Fast LTL to B\u00fcchi automata translation. In: Berry, G., Comon, H., Finkel, A. (eds.) Computer Aided Verification, pp. 53\u201365. Springer (2001). https:\/\/doi.org\/10.1007\/3-540-44585-4_6","DOI":"10.1007\/3-540-44585-4_6"},{"key":"11_CR14","doi-asserted-by":"publisher","unstructured":"Giese, H., Hildebrandt, S., Neumann, S.: Model synchronization at work: keeping SysML and AUTOSAR models consistent. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 555\u2013579. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-17322-6_24","DOI":"10.1007\/978-3-642-17322-6_24"},{"key":"11_CR15","doi-asserted-by":"publisher","unstructured":"Giese, H., Wagner, R.: Incremental model synchronization with triple graph grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Model Driven Engineering Languages and Systems (MoDELS\u00a02006), pp. 543\u2013557. Springer (2006). https:\/\/doi.org\/10.1007\/11880240_38","DOI":"10.1007\/11880240_38"},{"key":"11_CR16","unstructured":"Gr\u00e4tzer, G.: General Lattice Theory. Birkh\u00e4user Verlag, second edition edn. (2003)"},{"issue":"3","key":"11_CR17","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1147\/sj.453.0451","volume":"45","author":"B Hailpern","year":"2006","unstructured":"Hailpern, B., Tarr, P.: Model-driven development: the good, the bad, and the ugly. IBM Syst. J. 45(3), 451\u2013461 (2006). https:\/\/doi.org\/10.1147\/sj.453.0451","journal-title":"IBM Syst. J."},{"key":"11_CR18","doi-asserted-by":"publisher","unstructured":"Ilyas, I., Chu, X.: Trends in cleaning relational data: consistency and deduplication. Found. Trends\u00ae Databases 5(4), 281\u2013393 (2015). https:\/\/doi.org\/10.1561\/1900000045","DOI":"10.1561\/1900000045"},{"issue":"1","key":"11_CR19","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1), 31\u201339 (2008). https:\/\/doi.org\/10.1016\/j.scico.2007.08.002","journal-title":"Sci. Comput. Program."},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"110815","DOI":"10.1016\/j.jss.2020.110815","volume":"171","author":"H Klare","year":"2021","unstructured":"Klare, H., Kramer, M., Langhammer, M., Werle, D., Burger, E., Reussner, R.: Enabling consistency in view-based system development - the vitruvius approach. J. Syst. Softw. 171, 110815 (2021). https:\/\/doi.org\/10.1016\/j.jss.2020.110815","journal-title":"J. Syst. Softw."},{"key":"11_CR21","doi-asserted-by":"publisher","unstructured":"Kurtev, I.: State of the art of QVT: a model transformation language standard. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) Applications of Graph Transformations with Industrial Relevance, pp. 377\u2013393. Springer (2008). https:\/\/doi.org\/10.1007\/978-3-540-89020-1_26","DOI":"10.1007\/978-3-540-89020-1_26"},{"key":"11_CR22","doi-asserted-by":"publisher","unstructured":"Lee, E.: CPS foundations. In: DAC \u201910, Proceedings of the 47th Design Automation Conference, pp. 737\u2013742. Association for Computing Machinery (2010). https:\/\/doi.org\/10.1145\/1837274.1837462","DOI":"10.1145\/1837274.1837462"},{"issue":"12","key":"11_CR23","doi-asserted-by":"publisher","first-page":"1631","DOI":"10.1016\/j.infsof.2009.04.009","volume":"51","author":"FJ Lucas","year":"2009","unstructured":"Lucas, F.J., Molina, F., Toval, A.: A systematic review of UML model consistency management. Inf. Softw. Technol. 51(12), 1631\u20131645 (2009). https:\/\/doi.org\/10.1016\/j.infsof.2009.04.009","journal-title":"Inf. Softw. Technol."},{"key":"11_CR24","doi-asserted-by":"publisher","unstructured":"Mossakowski, T., Krumnack, U., Maibaum, T.: What is a derived signature morphism? In: Codescu, M., Diaconescu, R., \u0162u\u0163u, I. (eds.) Recent Trends in Algebraic Development Techniques, pp. 90\u2013109. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-28114-8_6","DOI":"10.1007\/978-3-319-28114-8_6"},{"key":"11_CR25","doi-asserted-by":"publisher","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: The FUJABA environment. In: ICSE \u201900, Proceedings of the 22nd International Conference on Software Engineering, pp. 742\u2013745. Association for Computing Machinery (2000). https:\/\/doi.org\/10.1145\/337180.337620","DOI":"10.1145\/337180.337620"},{"key":"11_CR26","doi-asserted-by":"publisher","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (sfcs\u00a01977), pp. 46\u201357 (1977). https:\/\/doi.org\/10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"key":"11_CR27","doi-asserted-by":"publisher","unstructured":"Rose, L., et al.: A comparison of model migration tools. In: Petriu, D., Rouquette, N., Haugen, O. (eds.) 13th International Conference on Model Driven Engineering Languages and Systems (MODELS\u00a02010), pp. 61\u201375. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-16145-2_5","DOI":"10.1007\/978-3-642-16145-2_5"},{"key":"11_CR28","doi-asserted-by":"publisher","unstructured":"Spanoudakis, G., Zisman, A.: Inconsistency management in software engineering: survey and open research issues. In: Handbook of Software Engineering and Knowledge Engineering, pp. 329\u2013380. World Scientific Publishing Company (2001). https:\/\/doi.org\/10.1142\/9789812389718_0015","DOI":"10.1142\/9789812389718_0015"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Stachowiak, H.: Allgemeine Modelltheorie. The University of California. Springer (1973)","DOI":"10.1007\/978-3-7091-8327-4"},{"key":"11_CR30","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: Eclipse Modeling Framework. Addison-Wesley Professional. (2008)"},{"issue":"1","key":"11_CR31","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P Stevens","year":"2010","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Softw. Syst. Model. 9(1), 7\u201320 (2010). https:\/\/doi.org\/10.1007\/s10270-008-0109-9","journal-title":"Softw. Syst. Model."},{"issue":"2","key":"11_CR32","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s10270-006-0025-9","volume":"6","author":"R Van Der Straeten","year":"2007","unstructured":"Van Der Straeten, R., Jonckers, V., Mens, T.: A formal approach to model refactoring and model refinement. Softw. Syst. Model. 6(2), 139\u2013162 (2007). https:\/\/doi.org\/10.1007\/s10270-006-0025-9","journal-title":"Softw. Syst. Model."},{"key":"11_CR33","doi-asserted-by":"publisher","unstructured":"Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: ASE \u201907, Proceedings of the 22nd IEEE\/ACM International Conference on Automated Software Engineering, pp. 164\u2013173. Association for Computing Machinery (2007). https:\/\/doi.org\/10.1145\/1321631.1321657","DOI":"10.1145\/1321631.1321657"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75380-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T08:51:44Z","timestamp":1730191904000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75380-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,30]]},"ISBN":["9783031753794","9783031753800"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75380-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,30]]},"assertion":[{"value":"30 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors\u00a0have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}