{"id":"https://openalex.org/W4404044210","doi":"https://doi.org/10.1007/s11334-024-00587-w","title":"Empowering model repair: a rule-based approach to graph repair without side effects\u2014extended version","display_name":"Empowering model repair: a rule-based approach to graph repair without side effects\u2014extended version","publication_year":2024,"publication_date":"2024-11-04","ids":{"openalex":"https://openalex.org/W4404044210","doi":"https://doi.org/10.1007/s11334-024-00587-w"},"language":"en","primary_location":{"id":"doi:10.1007/s11334-024-00587-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11334-024-00587-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11334-024-00587-w.pdf","source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Innovations in Systems and Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11334-024-00587-w.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045372801","display_name":"Alexander Lauer","orcid":"https://orcid.org/0009-0001-9077-9817"},"institutions":[{"id":"https://openalex.org/I161103922","display_name":"Philipps University of Marburg","ror":"https://ror.org/01rdrb571","country_code":"DE","type":"education","lineage":["https://openalex.org/I161103922"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Alexander Lauer","raw_affiliation_strings":["Fachbereich Mathematik und Informatik, Philipps-Universit\u00e4t Marburg, Marburg, Germany"],"affiliations":[{"raw_affiliation_string":"Fachbereich Mathematik und Informatik, Philipps-Universit\u00e4t Marburg, Marburg, Germany","institution_ids":["https://openalex.org/I161103922"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003351593","display_name":"Jens Kosiol","orcid":"https://orcid.org/0000-0003-4733-2777"},"institutions":[{"id":"https://openalex.org/I106157433","display_name":"University of Kassel","ror":"https://ror.org/04zc7p361","country_code":"DE","type":"education","lineage":["https://openalex.org/I106157433"]},{"id":"https://openalex.org/I161103922","display_name":"Philipps University of Marburg","ror":"https://ror.org/01rdrb571","country_code":"DE","type":"education","lineage":["https://openalex.org/I161103922"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jens Kosiol","raw_affiliation_strings":["Fachbereich Elektrotechnik und Informatik, Universit\u00e4t Kassel, Kassel, Germany","Fachbereich Mathematik und Informatik, Philipps-Universit\u00e4t Marburg, Marburg, Germany"],"affiliations":[{"raw_affiliation_string":"Fachbereich Elektrotechnik und Informatik, Universit\u00e4t Kassel, Kassel, Germany","institution_ids":["https://openalex.org/I106157433"]},{"raw_affiliation_string":"Fachbereich Mathematik und Informatik, Philipps-Universit\u00e4t Marburg, Marburg, Germany","institution_ids":["https://openalex.org/I161103922"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064883977","display_name":"Gabriele Taentzer","orcid":"https://orcid.org/0000-0002-3975-5238"},"institutions":[{"id":"https://openalex.org/I161103922","display_name":"Philipps University of Marburg","ror":"https://ror.org/01rdrb571","country_code":"DE","type":"education","lineage":["https://openalex.org/I161103922"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gabriele Taentzer","raw_affiliation_strings":["Fachbereich Mathematik und Informatik, Philipps-Universit\u00e4t Marburg, Marburg, Germany"],"affiliations":[{"raw_affiliation_string":"Fachbereich Mathematik und Informatik, Philipps-Universit\u00e4t Marburg, Marburg, Germany","institution_ids":["https://openalex.org/I161103922"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5045372801"],"corresponding_institution_ids":["https://openalex.org/I161103922"],"apc_list":{"value":2190,"currency":"EUR","value_usd":2790},"apc_paid":{"value":2190,"currency":"EUR","value_usd":2790},"fwci":0.4762,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.70584577,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"20","issue":"4","first_page":"597","last_page":"618"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46209847927093506},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.41697052121162415},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.343616783618927},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2732667326927185},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.19919556379318237}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46209847927093506},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.41697052121162415},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.343616783618927},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2732667326927185},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.19919556379318237}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11334-024-00587-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11334-024-00587-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11334-024-00587-w.pdf","source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Innovations in Systems and Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s11334-024-00587-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11334-024-00587-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11334-024-00587-w.pdf","source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Innovations in Systems and Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6052429835","display_name":null,"funder_award_id":"(DFG)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320310905","display_name":"Philipps-Universit\u00e4t Marburg","ror":"https://ror.org/01rdrb571"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4404044210.pdf","grobid_xml":"https://content.openalex.org/works/W4404044210.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W341155889","https://openalex.org/W1511832825","https://openalex.org/W1574796876","https://openalex.org/W1650869244","https://openalex.org/W1788338773","https://openalex.org/W1826974879","https://openalex.org/W1971702813","https://openalex.org/W2029954071","https://openalex.org/W2073642557","https://openalex.org/W2079370090","https://openalex.org/W2129638526","https://openalex.org/W2131637630","https://openalex.org/W2262937054","https://openalex.org/W2629571368","https://openalex.org/W2716381272","https://openalex.org/W2772383025","https://openalex.org/W2794451647","https://openalex.org/W2900478167","https://openalex.org/W2902243344","https://openalex.org/W2926245535","https://openalex.org/W2955911989","https://openalex.org/W2995866417","https://openalex.org/W3104974219","https://openalex.org/W3106969782","https://openalex.org/W3118705258","https://openalex.org/W3163374883","https://openalex.org/W3204545227","https://openalex.org/W4205916380","https://openalex.org/W4225623360","https://openalex.org/W4246219036","https://openalex.org/W4252076279","https://openalex.org/W4384808203","https://openalex.org/W4390117344"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Abstract":[0],"Working":[1],"with":[2,111,121,241],"models":[3,36,171],"can":[4,99,246],"lead":[5],"to":[6,10,39,59,65,87,114,181,198,228,243],"inconsistencies,":[7],"e.g.,":[8],"due":[9],"erroneous":[11],"or":[12],"contradictory":[13],"actions":[14],"during":[15],"concurrent":[16],"modeling":[17,20],"processes.":[18],"Modern":[19],"environments":[21],"typically":[22],"tolerate":[23],"inconsistencies":[24,44,55],"and":[25,48,81,131,218],"support":[26],"their":[27,43],"detection.":[28],"However,":[29],"at":[30],"a":[31,122,160,174,205,220],"later":[32],"stage":[33],"of":[34,52,91,125,163,208],"development,":[35],"are":[37],"expected":[38],"be":[40,46,115,247],"consistent,":[41],"meaning":[42],"should":[45],"considered":[47],"resolved.":[49],"The":[50,89,138],"process":[51,98],"resolving":[53],"model":[54,61,66,182,221,232],"is":[56,68,94,189],"commonly":[57],"referred":[58],"as":[60],"repair.":[62,233],"Our":[63,187],"approach":[64,93,120,139,180,188,197,211],"repair":[67,75,79,97,143,154,183,210],"semi-automatic":[69],"in":[70,104,118,249],"the":[71,74,82,96,105,109,112,128,136,152,168,193,214,230],"sense":[72],"that":[73,95,145,239],"tool":[76],"computes":[77],"appropriate":[78],"plans":[80,144,155],"modeler":[83],"decides":[84],"which":[85],"path":[86],"take.":[88],"speciality":[90],"our":[92,179,209],"register":[100],"any":[101],"small":[102],"improvement":[103],"model.":[106,169],"This":[107],"allows":[108],"interaction":[110],"user":[113],"optimized,":[116],"resulting":[117],"an":[119],"high":[123],"level":[124],"automation":[126],"on":[127,135,141,185,213,225],"one":[129],"hand":[130],"flexible":[132],"configuration":[133],"options":[134],"other.":[137],"focuses":[140],"providing":[142],"do":[146,156],"not":[147,157],"have":[148,173],"side":[149],"effects,":[150],"i.e.,":[151],"computed":[153],"inadvertently":[158],"introduce":[159],"new":[161],"inconsistency":[162],"already":[164],"repaired":[165,248],"constraints":[166],"into":[167],"Since":[170],"often":[172],"graph-like":[175],"structure,":[176],"we":[177],"present":[178,204],"based":[184,212,224],"graphs.":[186],"completely":[190],"formal\u2014we":[191],"use":[192],"algebraic":[194],"graph":[195,226],"transformation":[196,222],"prove":[199],"its":[200],"correctness.":[201],"We":[202],"also":[203],"prototype":[206],"implementation":[207],"Eclipse":[215],"Modeling":[216],"Framework":[217],"Henshin,":[219],"engine":[223],"transformation,":[227],"perform":[229],"actual":[231],"A":[234],"first":[235],"performance":[236],"evaluation":[237],"shows":[238],"graphs":[240],"up":[242],"1000":[244],"nodes":[245],"about":[250],"10":[251],"s.":[252]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}