{"id":"https://openalex.org/W4387793452","doi":"https://doi.org/10.1145/3623476.3623519","title":"Towards Efficient Model Comparison using Automated Program Rewriting","display_name":"Towards Efficient Model Comparison using Automated Program Rewriting","publication_year":2023,"publication_date":"2023-10-19","ids":{"openalex":"https://openalex.org/W4387793452","doi":"https://doi.org/10.1145/3623476.3623519"},"language":"en","primary_location":{"id":"doi:10.1145/3623476.3623519","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3623476.3623519","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030361284","display_name":"Qurat Ul Ain Ali","orcid":"https://orcid.org/0000-0002-1099-0453"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Qurat ul ain Ali","raw_affiliation_strings":["University of York, York, UK"],"affiliations":[{"raw_affiliation_string":"University of York, York, UK","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019716992","display_name":"Dimitrios S. Kolovos","orcid":"https://orcid.org/0000-0002-1724-6563"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Dimitris Kolovos","raw_affiliation_strings":["University of York, York, UK"],"affiliations":[{"raw_affiliation_string":"University of York, York, UK","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088950116","display_name":"Konstantinos Barmpis","orcid":"https://orcid.org/0000-0002-0864-0956"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Konstantinos Barmpis","raw_affiliation_strings":["University of York, York, UK"],"affiliations":[{"raw_affiliation_string":"University of York, York, UK","institution_ids":["https://openalex.org/I52099693"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5030361284"],"corresponding_institution_ids":["https://openalex.org/I52099693"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.15058759,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"181","last_page":"193"},"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.9998000264167786,"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.9998000264167786,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9969000220298767,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8422669172286987},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7513166666030884},{"id":"https://openalex.org/keywords/search-engine-indexing","display_name":"Search engine indexing","score":0.6754146814346313},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5619997382164001},{"id":"https://openalex.org/keywords/execution-model","display_name":"Execution model","score":0.5604081749916077},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.5380600690841675},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3898715674877167},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37688401341438293},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24012109637260437}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8422669172286987},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7513166666030884},{"id":"https://openalex.org/C75165309","wikidata":"https://www.wikidata.org/wiki/Q2258979","display_name":"Search engine indexing","level":2,"score":0.6754146814346313},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5619997382164001},{"id":"https://openalex.org/C2776834041","wikidata":"https://www.wikidata.org/wiki/Q25346349","display_name":"Execution model","level":2,"score":0.5604081749916077},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.5380600690841675},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3898715674877167},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37688401341438293},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24012109637260437},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3623476.3623519","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3623476.3623519","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.whiterose.ac.uk:204203","is_oa":false,"landing_page_url":"https://orcid.org/0000-0002-1724-6563>","pdf_url":null,"source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"NonPeerReviewed"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1974542962","display_name":null,"funder_award_id":"Sk\u0142odowska","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2689612763","display_name":null,"funder_award_id":"Marie","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3780809258","display_name":null,"funder_award_id":"Marie Sk\u0142odowska-Curie","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G4937468798","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5725508485","display_name":null,"funder_award_id":"813884","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G590187811","display_name":null,"funder_award_id":"813884","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W73633734","https://openalex.org/W1509087931","https://openalex.org/W2052113184","https://openalex.org/W2063268247","https://openalex.org/W2072088590","https://openalex.org/W2091302526","https://openalex.org/W2162425337","https://openalex.org/W2296070158","https://openalex.org/W2953722655","https://openalex.org/W3000433034","https://openalex.org/W3022570459","https://openalex.org/W3097124417","https://openalex.org/W3200598043","https://openalex.org/W3211340047","https://openalex.org/W3211828420","https://openalex.org/W3213834247","https://openalex.org/W4240016977","https://openalex.org/W4310514122"],"related_works":["https://openalex.org/W2507397068","https://openalex.org/W3198992024","https://openalex.org/W2151237268","https://openalex.org/W2124857515","https://openalex.org/W2992707587","https://openalex.org/W2617877710","https://openalex.org/W1839680044","https://openalex.org/W2181727248","https://openalex.org/W2032887775","https://openalex.org/W2294873030"],"abstract_inverted_index":{"Model":[0],"comparison":[1,35,39,64,80,120,145],"is":[2,40],"a":[3,21,32],"prerequisite":[4],"task":[5],"for":[6,70],"several":[7],"other":[8],"model":[9,14,16,34,44,110,144],"management":[10],"tasks":[11],"such":[12],"as":[13],"merging,":[15],"differencing":[17],"etc.":[18],"We":[19],"present":[20,77],"novel":[22],"approach":[23,81,146],"to":[24,51,88,124,130,157],"efficiently":[25],"compare":[26,89],"models":[27],"using":[28],"programs":[29],"written":[30],"in":[31,151],"rule-based":[33],"language.":[36],"As":[37],"the":[38,43,60,105,119,125,132,142,158],"done":[41],"at":[42],"element":[45,49],"level,":[46],"and":[47,54,92],"each":[48],"needs":[50],"be":[52,67],"traversed":[53],"compared":[55,156],"with":[56],"its":[57],"corresponding":[58],"elements,":[59,111],"execution":[61,154,161],"of":[62,134,153],"these":[63,128],"algorithms":[65],"can":[66],"computationally":[68],"expensive":[69],"larger":[71],"models.":[72],"In":[73],"this":[74,101],"paper,":[75],"we":[76,103,117],"an":[78,84],"efficient":[79],"which":[82],"provides":[83],"automated":[85],"rewriting":[86],"facility":[87],"(both":[90],"homogeneous":[91],"heterogeneous)":[93],"models,":[94],"based":[95],"on":[96],"static":[97],"program":[98],"analysis.":[99],"Using":[100],"analysis,":[102],"reduce":[104,131],"search":[106],"space":[107],"by":[108],"pre-filtering/indexing":[109],"before":[112],"actually":[113],"comparing":[114],"them.":[115],"Moreover,":[116],"reorder":[118],"match":[121],"rules":[122,129],"according":[123],"dependencies":[126],"between":[127,136],"cost":[133],"jumping":[135],"rules.":[137],"Our":[138],"experiments":[139],"demonstrate":[140],"that":[141],"proposed":[143],"delivers":[147],"significant":[148],"performance":[149],"benefits":[150],"terms":[152],"time":[155],"default":[159],"ECL":[160],"engine.":[162]},"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}