{"id":"https://openalex.org/W2795021132","doi":"https://doi.org/10.1145/3180155.3180186","title":"A graph solver for the automated generation of consistent domain-specific models","display_name":"A graph solver for the automated generation of consistent domain-specific models","publication_year":2018,"publication_date":"2018-05-27","ids":{"openalex":"https://openalex.org/W2795021132","doi":"https://doi.org/10.1145/3180155.3180186","mag":"2795021132"},"language":"en","primary_location":{"id":"doi:10.1145/3180155.3180186","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3180155.3180186","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3180155.3180186","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th International Conference on Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3180155.3180186","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055755535","display_name":"Oszk\u00e1r Semer\u00e1th","orcid":"https://orcid.org/0000-0002-3592-5105"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":true,"raw_author_name":"Oszk\u00e1r Semer\u00e1th","raw_affiliation_strings":["MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Hungary and Budapest University of Technology and Economics, Hungary"],"affiliations":[{"raw_affiliation_string":"MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Hungary and Budapest University of Technology and Economics, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042635050","display_name":"Andr\u00e1s Nagy","orcid":"https://orcid.org/0000-0002-5665-4324"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Andr\u00e1s Szabolcs Nagy","raw_affiliation_strings":["MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Hungary and Budapest University of Technology and Economics, Hungary"],"affiliations":[{"raw_affiliation_string":"MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Hungary and Budapest University of Technology and Economics, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064890236","display_name":"D\u00e1niel Varr\u00f3","orcid":"https://orcid.org/0000-0002-8790-252X"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"D\u00e1niel Varr\u00f3","raw_affiliation_strings":["MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Hungary and Budapest University of Technology and Economics, Hungary and McGill University, Canada"],"affiliations":[{"raw_affiliation_string":"MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Hungary and Budapest University of Technology and Economics, Hungary and McGill University, Canada","institution_ids":["https://openalex.org/I29770179"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5055755535"],"corresponding_institution_ids":["https://openalex.org/I29770179"],"apc_list":null,"apc_paid":null,"fwci":11.0175,"has_fulltext":true,"cited_by_count":53,"citation_normalized_percentile":{"value":0.98596913,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"969","last_page":"980"},"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.9998999834060669,"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.9998999834060669,"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.9980999827384949,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.7869502902030945},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.6456660032272339},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6300760507583618},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6295642256736755},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5628958344459534},{"id":"https://openalex.org/keywords/benchmarking","display_name":"Benchmarking","score":0.5401986241340637},{"id":"https://openalex.org/keywords/metamodeling","display_name":"Metamodeling","score":0.5290761590003967},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5075720548629761},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.42528122663497925},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4192970395088196},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37028390169143677},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1121305525302887}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7869502902030945},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.6456660032272339},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6300760507583618},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6295642256736755},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5628958344459534},{"id":"https://openalex.org/C86251818","wikidata":"https://www.wikidata.org/wiki/Q816754","display_name":"Benchmarking","level":2,"score":0.5401986241340637},{"id":"https://openalex.org/C86610423","wikidata":"https://www.wikidata.org/wiki/Q1925081","display_name":"Metamodeling","level":2,"score":0.5290761590003967},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5075720548629761},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.42528122663497925},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4192970395088196},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37028390169143677},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1121305525302887},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3180155.3180186","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3180155.3180186","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3180155.3180186","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th International Conference on Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:real.mtak.hu:82389","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400081","display_name":"Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210140733","host_organization_name":"Library and Information Centre of the Hungarian Academy of Sciences","host_organization_lineage":["https://openalex.org/I4210140733"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Book Section"}],"best_oa_location":{"id":"doi:10.1145/3180155.3180186","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3180155.3180186","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3180155.3180186","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th International Conference on Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4699999988079071}],"awards":[{"id":"https://openalex.org/G1304196372","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G1597412403","display_name":null,"funder_award_id":"RGPIN-","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G5882678836","display_name":null,"funder_award_id":"NSERC RGPIN-","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G6192798866","display_name":null,"funder_award_id":"UNKP-17-3","funder_id":"https://openalex.org/F4320323476","funder_display_name":"Emberi Eroforr\u00e1sok Miniszt\u00e9riuma"},{"id":"https://openalex.org/G6221715925","display_name":null,"funder_award_id":"RGPIN","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G6295403217","display_name":null,"funder_award_id":"RGPIN-04573-16","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320323476","display_name":"Emberi Eroforr\u00e1sok Miniszt\u00e9riuma","ror":"https://ror.org/00rb16m44"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2795021132.pdf","grobid_xml":"https://content.openalex.org/works/W2795021132.grobid-xml"},"referenced_works_count":72,"referenced_works":["https://openalex.org/W5815757","https://openalex.org/W24569603","https://openalex.org/W109294149","https://openalex.org/W146458024","https://openalex.org/W187743145","https://openalex.org/W844332498","https://openalex.org/W999459616","https://openalex.org/W1035875811","https://openalex.org/W1480909796","https://openalex.org/W1510777893","https://openalex.org/W1519503479","https://openalex.org/W1536631555","https://openalex.org/W1548001884","https://openalex.org/W1567586152","https://openalex.org/W1567888042","https://openalex.org/W1569208917","https://openalex.org/W1577544661","https://openalex.org/W1810787746","https://openalex.org/W1853034543","https://openalex.org/W1857137411","https://openalex.org/W1878356469","https://openalex.org/W1973559034","https://openalex.org/W1986958631","https://openalex.org/W1997864678","https://openalex.org/W1998400029","https://openalex.org/W2023814507","https://openalex.org/W2028848488","https://openalex.org/W2050736294","https://openalex.org/W2055287943","https://openalex.org/W2057186850","https://openalex.org/W2057361103","https://openalex.org/W2060440626","https://openalex.org/W2074683366","https://openalex.org/W2076645253","https://openalex.org/W2076990838","https://openalex.org/W2089381631","https://openalex.org/W2091920469","https://openalex.org/W2095850105","https://openalex.org/W2099991819","https://openalex.org/W2103364805","https://openalex.org/W2107061559","https://openalex.org/W2107792798","https://openalex.org/W2119284483","https://openalex.org/W2121061989","https://openalex.org/W2127229029","https://openalex.org/W2134001468","https://openalex.org/W2139553864","https://openalex.org/W2165413178","https://openalex.org/W2352369207","https://openalex.org/W2412353202","https://openalex.org/W2418384203","https://openalex.org/W2474022715","https://openalex.org/W2527408229","https://openalex.org/W2539024465","https://openalex.org/W2539249059","https://openalex.org/W2578360098","https://openalex.org/W2582748022","https://openalex.org/W2603072184","https://openalex.org/W2605347441","https://openalex.org/W2723261621","https://openalex.org/W2745766115","https://openalex.org/W2787691610","https://openalex.org/W2796271057","https://openalex.org/W2887375731","https://openalex.org/W3099134950","https://openalex.org/W3140501928","https://openalex.org/W3171669654","https://openalex.org/W4301352211","https://openalex.org/W6623470081","https://openalex.org/W6629056219","https://openalex.org/W6675076128","https://openalex.org/W6837366601"],"related_works":["https://openalex.org/W4245713008","https://openalex.org/W2064069225","https://openalex.org/W1570783276","https://openalex.org/W2519339279","https://openalex.org/W3006199460","https://openalex.org/W4300687552","https://openalex.org/W2289017468","https://openalex.org/W4231260205","https://openalex.org/W4232821993","https://openalex.org/W1881144118"],"abstract_inverted_index":{"Many":[0],"testing":[1],"and":[2,7,53,127],"benchmarking":[3],"scenarios":[4],"in":[5,144],"software":[6],"systems":[8],"engineering":[9],"depend":[10],"on":[11],"the":[12,89,98],"systematic":[13],"generation":[14,100],"of":[15,31,58,101,118,160],"graph":[16,46,69,94,124],"models.":[17],"For":[18],"instance,":[19],"tool":[20],"qualification":[21],"necessitated":[22],"by":[23,111],"safety":[24],"standards":[25],"would":[26],"require":[27],"a":[28,40,51,62,93,134],"large":[29],"set":[30],"consistent":[32,45,102],"(well-formed":[33],"or":[34,82],"malformed)":[35],"instance":[36,104],"models":[37,47,70,105,155],"specific":[38],"to":[39,75,132,153,165,169],"domain.":[41],"However,":[42],"automatically":[43],"generating":[44],"which":[48,67,106,156],"comply":[49],"with":[50],"metamodel":[52],"satisfy":[54],"all":[55],"well-formedness":[56],"constraints":[57],"industrial":[59],"domains":[60,146],"is":[61,151],"significant":[63],"challenge.":[64],"Existing":[65],"solutions":[66],"map":[68],"into":[71],"first-order":[72],"logic":[73,78],"specification":[74],"use":[76],"back-end":[77],"solvers":[79],"(like":[80],"Alloy":[81],"Z3)":[83],"have":[84],"severe":[85],"scalability":[86],"issues.":[87],"In":[88],"paper,":[90],"we":[91],"propose":[92],"solver":[95],"framework":[96],"for":[97],"automated":[99],"domain-specific":[103],"operates":[107],"directly":[108],"over":[109],"graphs":[110],"combining":[112],"advanced":[113],"techniques":[114],"such":[115],"as":[116],"refinement":[117],"partial":[119],"models,":[120],"shape":[121],"analysis,":[122],"incremental":[123],"query":[125],"evaluation,":[126],"rule-based":[128],"design":[129],"space":[130],"exploration":[131],"provide":[133],"more":[135],"efficient":[136],"guidance.":[137],"Our":[138],"initial":[139],"performance":[140],"evaluation":[141],"carried":[142],"out":[143],"four":[145],"demonstrates":[147],"that":[148],"our":[149],"approach":[150],"able":[152],"generate":[154],"are":[157],"1-2":[158],"orders":[159],"magnitude":[161],"larger":[162],"(with":[163],"500":[164],"6000":[166],"objects!)":[167],"compared":[168],"mapping-based":[170],"approaches":[171],"natively":[172],"using":[173],"Alloy.":[174]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":13},{"year":2020,"cited_by_count":14},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-12T07:58:50.170612","created_date":"2025-10-10T00:00:00"}