{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T19:53:38Z","timestamp":1769975618076,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662544938","type":"print"},{"value":"9783662544945","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54494-5_16","type":"book-chapter","created":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T00:09:02Z","timestamp":1490141342000},"page":"283-299","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["Change-Preserving Model Repair"],"prefix":"10.1007","author":[{"given":"Gabriele","family":"Taentzer","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Ohrndorf","sequence":"additional","affiliation":[]},{"given":"Yngve","family":"Lamo","sequence":"additional","affiliation":[]},{"given":"Adrian","family":"Rutle","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,22]]},"reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1049\/sej.1996.0004","volume":"11","author":"S Easterbrook","year":"1996","unstructured":"Easterbrook, S., Nuseibeh, B.: Using viewpoints for inconsistency management. Softw. Eng. J. 11(1), 31\u201343 (1996)","journal-title":"Softw. Eng. J."},{"issue":"11","key":"16_CR2","doi-asserted-by":"publisher","first-page":"960","DOI":"10.1109\/32.730545","volume":"24","author":"JC Grundy","year":"1998","unstructured":"Grundy, J.C., Hosking, J.G., Mugridge, W.B.: Inconsistency management for multiple-view software development environments. IEEE Trans. Softw. Eng. 24(11), 960\u2013981 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Instant consistency checking for the UML. In: 28th International Conference on Software Engineering (ICSE), pp. 381\u2013390. ACM (2006)","DOI":"10.1145\/1134285.1134339"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: 30th International Conference on Software Engineering (ICSE), pp. 511\u2013520. ACM (2008)","DOI":"10.1145\/1368088.1368158"},{"issue":"2","key":"16_CR5","first-page":"1","volume":"6","author":"B Enders","year":"2002","unstructured":"Enders, B., Heverhagen, T., Goedicke, M., Tr\u00f6pfner, P., Tracht, R.: Towards an integration of different specification methods by using the viewpoint framework. Trans. SDPS 6(2), 1\u201323 (2002)","journal-title":"Trans. SDPS"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-540-89020-1_22","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"C Amelunxen","year":"2008","unstructured":"Amelunxen, C., Legros, E., Sch\u00fcrr, A., St\u00fcrmer, I.: Checking and enforcement of modeling guidelines with graph transformations. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 313\u2013328. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-89020-1_22"},{"issue":"4","key":"16_CR7","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10270-006-0016-x","volume":"5","author":"A K\u00f6nigs","year":"2006","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: MDI: a rule-based multi-document and tool integration approach. Softw. Syst. Model. 5(4), 349\u2013368 (2006)","journal-title":"Softw. Syst. Model."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Reder, A., Egyed, A.: Computing repair trees for resolving inconsistencies in design models. In: International Conference on Automated Software Engineering, pp. 220\u2013229. ACM (2012)","DOI":"10.1145\/2351676.2351707"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Straeten, R.V.D., D\u2019Hondt, M.: Model refactorings through rule-based inconsistency resolution. In: Proceedings of the ACM Symposium on Applied Computing (SAC), pp. 1210\u20131217. ACM (2006)","DOI":"10.1145\/1141277.1141564"},{"key":"16_CR10","unstructured":"Balzer, R.: Tolerating inconsistency. In: Proceedings of the 13th International Conference on Software Engineering, pp. 158\u2013165. IEEE Computer Society\/ACM Press (1991)"},{"key":"16_CR11","unstructured":"Macedo, N., Tiago, J., Cunha, A.: A feature-based classification of model repair approaches. CoRR, vol. abs\/1504.03947 (2015)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-45221-8_28","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"RVD Straeten","year":"2003","unstructured":"Straeten, R.V.D., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 326\u2013340. Springer, Heidelberg (2003). doi:10.1007\/978-3-540-45221-8_28"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-21470-7_6","volume-title":"Modelling Foundations and Applications","author":"RVD Straeten","year":"2011","unstructured":"Straeten, R.V.D., Puissant, J.P., Mens, T.: Assessing the kodkod model finder for resolving model inconsistencies. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 69\u201384. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-21470-7_6"},{"key":"16_CR14","unstructured":"Sen, S., Baudry, B., Precup, D.: Partial model completion in model driven engineering using constraint logic programming. In: 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) (2007)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Macedo, N., Guimar\u00e3es, T., Cunha, A.: Model repair and transformation with echo. In: 28th International Conference on Automated Software Engineering, ASE 2013, pp. 694\u2013697. IEEE (2013)","DOI":"10.1109\/ASE.2013.6693135"},{"issue":"1","key":"16_CR16","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/s10270-013-0317-9","volume":"14","author":"JP Puissant","year":"2015","unstructured":"Puissant, J.P., Straeten, R.V.D., Mens, T.: Resolving model inconsistencies using automated regression planning. Softw. Syst. Model. 14(1), 461\u2013481 (2015)","journal-title":"Softw. Syst. Model."},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Taentzer, G.: Consistency-preserving edit scripts in model versioning. In: 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 191\u2013201. IEEE (2013)","DOI":"10.1109\/ASE.2013.6693079"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-319-42064-6_12","volume-title":"Theory and Practice of Model Transformations","author":"T Kehrer","year":"2016","unstructured":"Kehrer, T., Taentzer, G., Rindt, M., Kelter, U.: Automatically deriving the specification of model editing operations from meta-models. In: Van Gorp, P., Engels, G. (eds.) ICMT 2016. LNCS, vol. 9765, pp. 173\u2013188. Springer, Cham (2016). doi:10.1007\/978-3-319-42064-6_12"},{"key":"16_CR19","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2006)"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-16145-2_9","volume-title":"Model Driven Engineering Languages and Systems","author":"T Arendt","year":"2010","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 121\u2013135. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-16145-2_9"},{"key":"16_CR21","unstructured":"Capozucca, A., Cheng, B., Guelfi, N., Istoan, P.: Oo-spl modelling of the focused case study. In: Comparing Modeling Approaches (CMA) International Workshop affiliated with ACM\/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (CMA@ MODELS2011) (2011)"},{"key":"16_CR22","unstructured":"Rindt, M., Kehrer, T., Kelter, U.: Automatic generation of consistency-preserving edit operations for MDE tools. In: Demonstrations Track of the ACM\/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS). CEUR Workshop Proceedings, vol. 1255 (2014)"},{"issue":"4","key":"16_CR23","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1017\/S0960129512000345","volume":"24","author":"U Golas","year":"2014","unstructured":"Golas, U., Habel, A., Ehrig, H.: Multi-amalgamation of rules with application conditions in M-adhesive categories. Math. Struct. Comput. Sci. 24(4), 68 (2014)","journal-title":"Math. Struct. Comput. Sci."},{"key":"16_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"556","DOI":"10.1007\/3-540-58338-6_102","volume-title":"Mathematical Foundations of Computer Science 1994","author":"D Plump","year":"1994","unstructured":"Plump, D.: Critical pairs in term graph rewriting. In: Pr\u00edvara, I., Rovan, B., Ruzi\u010dka, P. (eds.) MFCS 1994. LNCS, vol. 841, pp. 556\u2013566. Springer, Heidelberg (1994). doi:10.1007\/3-540-58338-6_102"},{"key":"16_CR25","unstructured":"Taentzer, G., Ohrndorf, M., Lamo, Y., Rutle, A.: Change-preserving model repair: extended version. Philipps-Universit\u00e4t Marburg, Technical report (2017). www.uni-marburg.de\/fb12\/swt\/research\/publications"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Taentzer, G., Ohrndorf, M., Lamo, Y., Rutle, A.: Change-preserving model repair - tool support and initial evaluation. pi.informatik.uni-siegen.de\/projects\/ SiLift\/fase2017\/","DOI":"10.1007\/978-3-662-54494-5_16"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Pietsch, P., Schmidt, M.: Adaptability of model comparison tools. In: IEEE\/ACM International Conference on Automated Software Engineering (ASE), Essen, Germany, pp. 306\u2013309. ACM (2012)","DOI":"10.1145\/2351676.2351731"},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Taentzer, G.: A rule-based approach to the semantic lifting of model differences in the context of model versioning. In: 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE), Lawrence, KS, USA, pp. 163\u2013172. IEEE (2011)","DOI":"10.1109\/ASE.2011.6100050"},{"key":"16_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151\u2013163. Springer, Heidelberg (1995). doi:10.1007\/3-540-59071-4_45"},{"key":"16_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-71289-3_7","volume-title":"Fundamental Approaches to Software Engineering","author":"H Ehrig","year":"2007","unstructured":"Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information preserving bidirectional model transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 72\u201386. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-71289-3_7"},{"key":"16_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11880240_15","volume-title":"Model Driven Engineering Languages and Systems","author":"T Mens","year":"2006","unstructured":"Mens, T., Straeten, R.V.D., D\u2019Hondt, M.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MODELS 2006. LNCS, vol. 4199, pp. 200\u2013214. Springer, Heidelberg (2006). doi:10.1007\/11880240_15"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54494-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T15:18:29Z","timestamp":1750173509000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-54494-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662544938","9783662544945"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54494-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"22 March 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Uppsala","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.etaps.org\/index.php\/2017\/fase","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}