{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,30]],"date-time":"2025-11-30T13:47:22Z","timestamp":1764510442266},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336652"},{"type":"electronic","value":"9783642336669"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33666-9_14","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T16:50:20Z","timestamp":1347987020000},"page":"202-218","source":"Crossref","is-referenced-by-count":38,"title":["Incremental Consistency Checking for Complex Design Rules and Larger Model Changes"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Reder","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Balzer, R.: Tolerating Inconsistency. In: Belady, L., Barstow, D.R., Torii, K. (eds.) ICSE, pp. 158\u2013165. IEEE Computer Society\/ACM Press (1991)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-16145-2_6","volume-title":"Model Driven Engineering Languages and Systems","author":"G. Bergmann","year":"2010","unstructured":"Bergmann, G., Horv\u00e1th, \u00c1., R\u00e1th, I., Varr\u00f3, D., Balogh, A., Balogh, Z., \u00d6kr\u00f6s, A.: Incremental Evaluation of Model Queries over EMF Models. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol.\u00a06394, pp. 76\u201390. Springer, Heidelberg (2010)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: Sch\u00e4fer, W., Dwyer, M.B., Gruhn, V. (eds.) ICSE, pp. 511\u2013520. ACM (2008)","DOI":"10.1145\/1368088.1368158"},{"issue":"9","key":"14_CR4","doi-asserted-by":"publisher","first-page":"1459","DOI":"10.1016\/j.jss.2009.03.009","volume":"82","author":"J. Cabot","year":"2009","unstructured":"Cabot, J., Teniente, E.: Incremental integrity checking of UML\/OCL conceptual schemas. Journal of Systems and Software\u00a082(9), 1459\u20131478 (2009)","journal-title":"Journal of Systems and Software"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Demsky, B., Rinard, M.: Data structure repair using goal-directed reasoning. In: Proceedings of the 27th International Conference on Software Engineering, ICSE 2005, pp. 176\u2013185. ACM, New York (2005)","DOI":"10.1145\/1062455.1062499"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/1134285.1134339","volume-title":"Proceedings of the 28th International Conference on Software Engineering, ICSE 2006","author":"A. Egyed","year":"2006","unstructured":"Egyed, A.: Instant consistency checking for the UML. In: Proceedings of the 28th International Conference on Software Engineering, ICSE 2006, pp. 381\u2013390. ACM, New York (2006)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Fixing Inconsistencies in UML Design Models. In: ICSE, pp. 292\u2013301. IEEE Computer Society (2007)","DOI":"10.1109\/ICSE.2007.38"},{"issue":"2","key":"14_CR8","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1109\/TSE.2010.38","volume":"37","author":"A. Egyed","year":"2011","unstructured":"Egyed, A.: Automatically Detecting and Tracking Inconsistencies in Software Design Models. IEEE Trans. Software Eng.\u00a037(2), 188\u2013204 (2011)","journal-title":"IEEE Trans. Software Eng."},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/ASE.2008.20","volume-title":"Proceedings of the 2008 23rd IEEE\/ACM International Conference on Automated Software Engineering, ASE 2008","author":"A. Egyed","year":"2008","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models. In: Proceedings of the 2008 23rd IEEE\/ACM International Conference on Automated Software Engineering, ASE 2008, pp. 99\u2013108. IEEE Computer Society, Washington, DC (2008)"},{"key":"14_CR10","unstructured":"Fickas, S., Feather, M., Kramer, J.: Proceedings of ICSE-97 Workshop on Living with Inconsistency (1997)"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C. Forgy","year":"1982","unstructured":"Forgy, C.: Rete: A Fast Algorithm for the Many Pattern \/ Many Object Pattern Match Problem. Artificial Intelligence\u00a019, 17\u201337 (1982)","journal-title":"Artificial Intelligence"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-13688-7_9","volume-title":"Theory and Practice of Model Transformations","author":"F. Jouault","year":"2010","unstructured":"Jouault, F., Tisi, M.: Towards Incremental Execution of ATL Transformations. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol.\u00a06142, pp. 123\u2013137. Springer, Heidelberg (2010)"},{"key":"14_CR13","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":"M. Mens","year":"2006","unstructured":"Mens, M., Ragnhild, S., D\u2019Hondt, M.: Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 200\u2013214. Springer, Heidelberg (2006)"},{"issue":"2","key":"14_CR14","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/514183.514186","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 Trans. Internet Technol.\u00a02(2), 151\u2013185 (2002)","journal-title":"ACM Trans. Internet Technol."},{"key":"14_CR15","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1109\/ICSE.2003.1201223","volume-title":"Proceedings of the 25th International Conference on Software Engineering, ICSE 2003","author":"C. Nentwich","year":"2003","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: Proceedings of the 25th International Conference on Software Engineering, ICSE 2003, pp. 455\u2013464. IEEE Computer Society, Washington, DC (2003)"},{"issue":"9","key":"14_CR16","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1109\/TSE.2006.91","volume":"32","author":"S.P. Reiss","year":"2006","unstructured":"Reiss, S.P.: Incremental Maintenance of Software Artifacts. IEEE Trans. Software Eng.\u00a032(9), 682\u2013697 (2006)","journal-title":"IEEE Trans. Software Eng."},{"key":"14_CR17","unstructured":"Robbins, J.E.: ArgoUML, v0.32.1 (March 2011), \n                    \n                      http:\/\/argouml.tigris.org"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S.M., Chechik, M.: Consistency Checking of Conceptual Models via Model Merging. In: RE, pp. 221\u2013230. IEEE (2007)","DOI":"10.1109\/RE.2007.18"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Van Der Straeten, R., D\u2019Hondt, M.: Model refactorings through rule-based inconsistency resolution. In: Proceedings of the 2006 ACM Symposium on Applied Computing, SAC 2006, pp. 1210\u20131217. ACM, New York (2006)","DOI":"10.1145\/1141277.1141564"},{"issue":"3","key":"14_CR20","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program.\u00a068(3), 214\u2013234 (2007)","journal-title":"Sci. Comput. Program."},{"key":"14_CR21","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/1134285.1134327","volume-title":"Proceedings of the 28th International Conference on Software Engineering, ICSE 2006","author":"C. Xu","year":"2006","unstructured":"Xu, C., Cheung, S.C., Chan, W.K.: Incremental consistency checking for pervasive context. In: Proceedings of the 28th International Conference on Software Engineering, ICSE 2006, pp. 292\u2013301. ACM, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33666-9_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:18:07Z","timestamp":1620130687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33666-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336652","9783642336669"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33666-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}