{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:32:53Z","timestamp":1743125573522,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031642845"},{"type":"electronic","value":"9783031642852"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-64285-2_8","type":"book-chapter","created":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T18:04:50Z","timestamp":1719857090000},"page":"138-157","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Using Application Conditions to\u00a0Rank Graph Transformations for\u00a0Graph Repair"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4996-4639","authenticated-orcid":false,"given":"Lars","family":"Fritsche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-9077-9817","authenticated-orcid":false,"given":"Alexander","family":"Lauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8100-1109","authenticated-orcid":false,"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,2]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Abdeen, H., et al.: Multi-objective optimization in rule-based design space exploration. In: Crnkovic, I., Chechik, M., Gr\u00fcnbacher, P. (eds.) ACM\/IEEE International Conference on Automated Software Engineering, ASE 2014, Vasteras, Sweden - 15\u201319 September 2014, pp. 289\u2013300. ACM (2014). https:\/\/doi.org\/10.1145\/2642937.2643005","DOI":"10.1145\/2642937.2643005"},{"issue":"6","key":"8_CR2","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1109\/TSE.2010.70","volume":"36","author":"M Bowman","year":"2010","unstructured":"Bowman, M., Briand, L.C., Labiche, Y.: Solving the class responsibility assignment problem in object-oriented analysis with multi-objective genetic algorithms. IEEE Trans. Software Eng. 36(6), 817\u2013837 (2010). https:\/\/doi.org\/10.1109\/TSE.2010.70","journal-title":"IEEE Trans. Software Eng."},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0025714","volume-title":"Graph-Grammars and Their Application to Computer Science and Biology","author":"H Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the algebraic theory of graph grammars (a survey). In: Claus, V., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol. 73, pp. 1\u201369. Springer, Heidelberg (1979). https:\/\/doi.org\/10.1007\/BFb0025714"},{"key":"8_CR4","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31188-2","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. MTCSAES, Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2"},{"key":"8_CR5","unstructured":"Ehrig, H., Habel, A.: Concurrent transformations of graphs and relational structures. In: Nagl, M., Perl, J. (eds.) Proceedings of the WG 1983, International Workshop on Graphtheoretic Concepts in Computer Science, pp. 76\u201388. Universit\u00e4tsverlag Rudolf Trauner, Linz (1983)"},{"key":"8_CR6","unstructured":"Fleck, M., Troya\u00a0Castilla, J., Wimmer, M.: The class responsibility assignment case. In: TTC 2016: 9th Transformation Tool Contest, co-located with the 2016 Software Technologies: Applications and Foundations (STAF 2016), vol. 1758, pp. 1\u20138 (2016). https:\/\/ceur-ws.org\/Vol-1758\/paper1.pdf"},{"key":"8_CR7","unstructured":"Fritsche, L., Lauer, A., Sch\u00fcrr, A., Taentzer, G.: Using application conditions to rank graph transformations for graph repair (2024). https:\/\/arxiv.org\/abs\/2405.08788"},{"issue":"2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19(2), 245\u2013296 (2009). https:\/\/doi.org\/10.1017\/S0960129508007202","journal-title":"Math. Struct. Comput. Sci."},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Heckel, R., Taentzer, G.: Graph Transformation for Software Engineers - With Applications to Model-Based Development and Domain-Specific Language Engineering. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-43916-3","DOI":"10.1007\/978-3-030-43916-3"},{"key":"8_CR10","unstructured":"Hinkel, G.: An NMF solution to the class responsibility assignment case. In: Garc\u00eda-Dom\u00ednguez, A., Krikava, F., Rose, L.M. (eds.) Proceedings of the 9th Transformation Tool Contest, co-located with the 2016 Software Technologies: Applications and Foundations (STAF 2016), Vienna, Austria, 8 July 2016. CEUR Workshop Proceedings, vol.\u00a01758, pp. 15\u201320. CEUR-WS.org (2016). https:\/\/ceur-ws.org\/Vol-1758\/paper3.pdf"},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Khelladi, D.E., Kretschmer, R., Egyed, A.: Detecting and exploring side effects when repairing model inconsistencies. In: Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, pp. 113\u2013126. ACM (2019). https:\/\/doi.org\/10.1145\/3357766.3359546","DOI":"10.1145\/3357766.3359546"},{"key":"8_CR12","doi-asserted-by":"publisher","DOI":"10.1016\/J.SCICO.2021.102729","volume":"214","author":"J Kosiol","year":"2022","unstructured":"Kosiol, J., Str\u00fcber, D., Taentzer, G., Zschaler, S.: Sustaining and improving graduated graph consistency: a static analysis of graph transformations. Sci. Comput. Program. 214, 102729 (2022). https:\/\/doi.org\/10.1016\/J.SCICO.2021.102729","journal-title":"Sci. Comput. Program."},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Nassar, N., Kosiol, J., Arendt, T., Taentzer, G.: Constructing optimized constraint-preserving application conditions for model transformation rules. J. Log. Algebr. Methods Program. 114, 100564 (2020). https:\/\/doi.org\/10.1016\/J.JLAMP.2020.100564","DOI":"10.1016\/J.JLAMP.2020.100564"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/11601548_16","volume-title":"Processes, Terms and Cycles: Steps on the Road to Infinity","author":"D Plump","year":"2005","unstructured":"Plump, D.: Confluence of graph transformation revisited. In: Middeldorp, A., van Oostrom, V., van Raamsdonk, F., de Vrijer, R. (eds.) Processes, Terms and Cycles: Steps on the Road to Infinity. LNCS, vol. 3838, pp. 280\u2013308. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11601548_16"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/J.SCICO.2017.08.006","volume":"152","author":"H Radke","year":"2018","unstructured":"Radke, H., Arendt, T., Becker, J.S., Habel, A., Taentzer, G.: Translating essential OCL invariants to nested graph constraints for generating instances of meta-models. Sci. Comput. Program. 152, 38\u201362 (2018). https:\/\/doi.org\/10.1016\/J.SCICO.2017.08.006","journal-title":"Sci. Comput. Program."},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-540-30203-2_23","volume-title":"Graph Transformations","author":"A Rensink","year":"2004","unstructured":"Rensink, A.: Representing first-order logic using graphs. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 319\u2013335. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30203-2_23"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64285-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T18:05:25Z","timestamp":1719857125000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64285-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031642845","9783031642852"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64285-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"2 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICGT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Graph Transformation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Enschede","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","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":"9 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icgt2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/icgt-2024","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}