{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T00:15:06Z","timestamp":1775175306158,"version":"3.50.1"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319614724","type":"print"},{"value":"9783319614731","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61473-1_12","type":"book-chapter","created":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T11:10:41Z","timestamp":1497870641000},"page":"171-181","source":"Crossref","is-referenced-by-count":21,"title":["Rule-Based Repair of EMF Models: An Automated Interactive Approach"],"prefix":"10.1007","author":[{"given":"Nebras","family":"Nassar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hendrik","family":"Radke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thorsten","family":"Arendt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,20]]},"reference":[{"key":"12_CR1","volume-title":"Constraint Logic Programming Using Eclipse","author":"KR Apt","year":"2006","unstructured":"Apt, K.R., Wallace, M.: Constraint Logic Programming Using Eclipse. Cambridge University Press, Leiden (2006)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1007\/978-3-319-11653-2_41","volume-title":"Model-Driven Engineering Languages and Systems","author":"G Bergmann","year":"2014","unstructured":"Bergmann, G.: Translating OCL to graph patterns. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 670\u2013686. Springer, Cham (2014). doi:\n10.1007\/978-3-319-11653-2_41"},{"key":"12_CR3","first-page":"227","volume":"11","author":"E Biermann","year":"2012","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent EMF model transformations by algebraic graph transformation. SoSyM 11, 227\u2013250 (2012)","journal-title":"SoSyM"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Fixing inconsistencies in UML design models. In: ICSE (2007)","DOI":"10.1109\/ICSE.2007.38"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in UML design models. In: IEEE\/ACM, pp. 99\u2013108 (2008)","DOI":"10.1109\/ASE.2008.20"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Branco, M.C., Varr\u00f3, D.: Quick fix generation for DSMLs. In: VL\/HCC, pp. 17\u201324. IEEE (2011)","DOI":"10.1109\/VLHCC.2011.6070373"},{"key":"12_CR7","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:\n10.1007\/978-3-319-42064-6_12"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Macedo, N., Guimar\u00e3es, T., Cunha, A.: Model repair and transformation with echo. In: ASE, pp. 694\u2013697. IEEE (2013)","DOI":"10.1109\/ASE.2013.6693135"},{"key":"12_CR9","unstructured":"Macedo, N., Tiago, J., Cunha, A.: A feature-based classification of model repair approaches. CoRR abs\/1504.03947 (2015)"},{"key":"12_CR10","unstructured":"EMF Model Repair. \nhttp:\/\/uni-marburg.de\/Kkwsr"},{"issue":"2","key":"12_CR11","first-page":"151","volume":"2","author":"C Nentwich","year":"2002","unstructured":"Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: xlinkit: a consistency checking and smart link generation service. ACM 2(2), 151\u2013185 (2002)","journal-title":"ACM"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: Software Engineering, pp. 455\u2013464. IEEE (2003)","DOI":"10.1109\/ICSE.2003.1201223"},{"key":"12_CR13","first-page":"461","volume":"14","author":"JP Puissant","year":"2015","unstructured":"Puissant, J.P., Straeten, R.V.D., Mens, T.: Resolving model inconsistencies using automated regression planning. SoSyM 14, 461\u2013481 (2015)","journal-title":"SoSyM"},{"key":"12_CR14","unstructured":"Rabbi, F., Lamo, Y., Yu, I.C., Kristensen, L.M., Michael, L.: A diagrammatic approach to model completion. In: (AMT)@ MODELS (2015)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-319-21145-9_10","volume-title":"Graph Transformation","author":"H Radke","year":"2015","unstructured":"Radke, H., Arendt, T., Becker, J.S., Habel, A., Taentzer, G.: Translating essential OCL invariants to nested graph constraints focusing on set operations. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 155\u2013170. Springer, Cham (2015). doi:\n10.1007\/978-3-319-21145-9_10"},{"key":"12_CR16","doi-asserted-by":"crossref","first-page":"3:1","DOI":"10.5381\/jot.2015.14.3.a3","volume":"14","author":"R Salay","year":"2015","unstructured":"Salay, R., Chechik, M., Famelis, M., Gorzny, J.: A methodology for verifying refinements of partial models. J. Object Technol. 14, 3:1\u20133:31 (2015)","journal-title":"J. Object Technol."},{"key":"12_CR17","unstructured":"Sen, S., Baudry, B., Precup, D.: Partial model completion in model driven engineering using constraint logic programming. In: Proceedings of the INAP 2007 (2007)"},{"key":"12_CR18","volume-title":"EMF: Eclipse Modeling Framework 2.0","author":"D Steinberg","year":"2009","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional, Amsterdam (2009)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61473-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T11:14:39Z","timestamp":1497870879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61473-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614724","9783319614731"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61473-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}