{"id":"https://openalex.org/W2072524792","doi":"https://doi.org/10.1109/ase.2013.6693135","title":"Model repair and transformation with Echo","display_name":"Model repair and transformation with Echo","publication_year":2013,"publication_date":"2013-11-01","ids":{"openalex":"https://openalex.org/W2072524792","doi":"https://doi.org/10.1109/ase.2013.6693135","mag":"2072524792"},"language":"en","primary_location":{"id":"doi:10.1109/ase.2013.6693135","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2013.6693135","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/1822/36068","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040416986","display_name":"Nuno Macedo","orcid":"https://orcid.org/0000-0002-4817-948X"},"institutions":[{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]},{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"education","lineage":["https://openalex.org/I99682543"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Nuno Macedo","raw_affiliation_strings":["HASLAB \u2014 High Assurance Software Laboratory, INESC TEC & Universidade do Minho, Braga, Portugal","High Assurance Software Laboratory, INESC, TEC & Universidade do Minho, Braga, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"HASLAB \u2014 High Assurance Software Laboratory, INESC TEC & Universidade do Minho, Braga, Portugal","institution_ids":["https://openalex.org/I4210166615","https://openalex.org/I99682543"]},{"raw_affiliation_string":"High Assurance Software Laboratory, INESC, TEC & Universidade do Minho, Braga, Portugal","institution_ids":["https://openalex.org/I99682543"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057693000","display_name":"Tiago Guimar\u00e3es","orcid":"https://orcid.org/0000-0002-1325-5139"},"institutions":[{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]},{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"education","lineage":["https://openalex.org/I99682543"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Tiago Guimaraes","raw_affiliation_strings":["HASLAB \u2014 High Assurance Software Laboratory, INESC TEC & Universidade do Minho, Braga, Portugal","High Assurance Software Laboratory, INESC, TEC & Universidade do Minho, Braga, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"HASLAB \u2014 High Assurance Software Laboratory, INESC TEC & Universidade do Minho, Braga, Portugal","institution_ids":["https://openalex.org/I4210166615","https://openalex.org/I99682543"]},{"raw_affiliation_string":"High Assurance Software Laboratory, INESC, TEC & Universidade do Minho, Braga, Portugal","institution_ids":["https://openalex.org/I99682543"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069927997","display_name":"Alcino Cunha","orcid":"https://orcid.org/0000-0002-2714-8027"},"institutions":[{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]},{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"education","lineage":["https://openalex.org/I99682543"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Alcino Cunha","raw_affiliation_strings":["HASLAB \u2014 High Assurance Software Laboratory, INESC TEC & Universidade do Minho, Braga, Portugal","High Assurance Software Laboratory, INESC, TEC & Universidade do Minho, Braga, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"HASLAB \u2014 High Assurance Software Laboratory, INESC TEC & Universidade do Minho, Braga, Portugal","institution_ids":["https://openalex.org/I4210166615","https://openalex.org/I99682543"]},{"raw_affiliation_string":"High Assurance Software Laboratory, INESC, TEC & Universidade do Minho, Braga, Portugal","institution_ids":["https://openalex.org/I99682543"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.0331,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.87046371,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"694","last_page":"697"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.996999979019165,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8273553252220154},{"id":"https://openalex.org/keywords/plug-in","display_name":"Plug-in","score":0.8069049119949341},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.7111694812774658},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.635006308555603},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.631123960018158},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.612812340259552},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5827169418334961},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5803197622299194},{"id":"https://openalex.org/keywords/eclipse","display_name":"Eclipse","score":0.5793564915657043},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5427172183990479},{"id":"https://openalex.org/keywords/model-driven-architecture","display_name":"Model-driven architecture","score":0.4974396526813507},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4939475655555725},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4705871641635895},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4560210704803467},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.3559161126613617},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3364385664463043},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.282765656709671},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.1663934588432312},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10212016105651855}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8273553252220154},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.8069049119949341},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.7111694812774658},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.635006308555603},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.631123960018158},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.612812340259552},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5827169418334961},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5803197622299194},{"id":"https://openalex.org/C2778505590","wikidata":"https://www.wikidata.org/wiki/Q141022","display_name":"Eclipse","level":2,"score":0.5793564915657043},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5427172183990479},{"id":"https://openalex.org/C509989072","wikidata":"https://www.wikidata.org/wiki/Q15188241","display_name":"Model-driven architecture","level":4,"score":0.4974396526813507},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4939475655555725},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4705871641635895},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4560210704803467},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.3559161126613617},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3364385664463043},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.282765656709671},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.1663934588432312},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10212016105651855},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1109/ase.2013.6693135","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2013.6693135","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.677.549","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.677.549","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://alfa.di.uminho.pt/%7Enfmmacedo/publications/echo13.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.894.1741","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.894.1741","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://repositorium.sdum.uminho.pt/bitstream/1822/36068/1/1311.pdf","raw_type":"text"},{"id":"pmh:oai:repositorio:123456789/4139","is_oa":false,"landing_page_url":"http://repositorio.inesctec.pt/handle/123456789/4139","pdf_url":null,"source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"http://purl.org/coar/resource_type/c_c94f"},{"id":"pmh:oai:repositorium.sdum.uminho.pt:1822/36068","is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/36068","pdf_url":null,"source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conference paper"},{"id":"pmh:oai:repositorium.uminho.pt:1822/36068","is_oa":true,"landing_page_url":"https://hdl.handle.net/1822/36068","pdf_url":null,"source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference paper"}],"best_oa_location":{"id":"pmh:oai:repositorium.sdum.uminho.pt:1822/36068","is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/36068","pdf_url":null,"source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conference paper"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W187889024","https://openalex.org/W1176602100","https://openalex.org/W1487883130","https://openalex.org/W1521729235","https://openalex.org/W1525686383","https://openalex.org/W1895387792","https://openalex.org/W1971702813","https://openalex.org/W1983160424","https://openalex.org/W1985585837","https://openalex.org/W1991633729","https://openalex.org/W2052987299","https://openalex.org/W2058145265","https://openalex.org/W4230710986","https://openalex.org/W6631356913","https://openalex.org/W6663684870"],"related_works":["https://openalex.org/W2382209682","https://openalex.org/W580258128","https://openalex.org/W4210370802","https://openalex.org/W2092963190","https://openalex.org/W2020974281","https://openalex.org/W1998356535","https://openalex.org/W2225770667","https://openalex.org/W2895477119","https://openalex.org/W2138573950","https://openalex.org/W2164325773"],"abstract_inverted_index":{"Models":[0],"are":[1],"paramount":[2],"in":[3,30,122],"model-driven":[4],"engineering.":[5],"In":[6],"a":[7,56,71],"software":[8],"project":[9],"many":[10],"models":[11,39,78],"may":[12],"coexist,":[13],"capturing":[14],"different":[15,21,77],"views":[16],"of":[17,23,111],"the":[18,46,96,112,123],"system":[19],"or":[20],"levels":[22],"abstraction.":[24],"A":[25],"key":[26],"and":[27,49,68,86,116,119,128],"arduous":[28],"task":[29,63],"this":[31,62],"development":[32],"method":[33],"is":[34,87,101],"to":[35,89],"keep":[36],"all":[37],"such":[38],"consistent,":[40],"both":[41],"with":[42],"their":[43],"meta-models":[44],"(and":[45],"respective":[47],"constraints)":[48],"among":[50],"themselves.":[51],"This":[52],"paper":[53],"describes":[54],"Echo,":[55],"tool":[57,100],"that":[58],"aims":[59],"at":[60],"simplifying":[61],"by":[64,82,92],"automating":[65],"inconsistency":[66],"detection":[67],"repair":[69],"using":[70],"solver":[72],"based":[73],"engine.":[74],"Consistency":[75],"between":[76],"can":[79],"be":[80,90],"specified":[81,121],"bidirectional":[83],"model":[84],"transformations,":[85],"guaranteed":[88],"recovered":[91],"minimal":[93],"updates":[94],"on":[95,109],"inconsistent":[97],"models.":[98],"The":[99],"freely":[102],"available":[103],"as":[104],"an":[105],"Eclipse":[106],"plugin,":[107],"developed":[108],"top":[110],"popular":[113],"EMF":[114],"framework,":[115],"supports":[117],"constraints":[118],"transformations":[120],"OMG":[124],"standard":[125],"languages":[126],"OCL":[127],"QVT-R,":[129],"respectively.":[130]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":4}],"updated_date":"2026-08-08T01:25:22.217667","created_date":"2025-10-10T00:00:00"}