{"id":"https://openalex.org/W1035875811","doi":"https://doi.org/10.1007/s10270-015-0485-x","title":"Formal validation of domain-specific languages with derived features and well-formedness constraints","display_name":"Formal validation of domain-specific languages with derived features and well-formedness constraints","publication_year":2015,"publication_date":"2015-07-28","ids":{"openalex":"https://openalex.org/W1035875811","doi":"https://doi.org/10.1007/s10270-015-0485-x","mag":"1035875811"},"language":"en","primary_location":{"id":"doi:10.1007/s10270-015-0485-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10270-015-0485-x","pdf_url":null,"source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software & Systems Modeling","raw_type":"journal-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/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":false,"raw_author_name":"Oszk\u00e1r Semer\u00e1th","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, Hungary","Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary 1117"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary 1117","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017587970","display_name":"\u00c1gnes Barta","orcid":"https://orcid.org/0000-0001-5782-3997"},"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":"\u00c1gnes Barta","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, Hungary","Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary 1117"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary 1117","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059486184","display_name":"\u00c1kos Horv\u00e1th","orcid":"https://orcid.org/0000-0003-3545-3694"},"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":"\u00c1kos Horv\u00e1th","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, Hungary","Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary 1117"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary 1117","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029781974","display_name":"Zolt\u00e1n Szatm\u00e1ri","orcid":null},"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":"Zolt\u00e1n Szatm\u00e1ri","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, Hungary","Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary 1117"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary 1117","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":true,"raw_author_name":"D\u00e1niel Varr\u00f3","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, Hungary","Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary 1117"],"raw_orcid":"https://orcid.org/0000-0002-8790-252X","affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tud\u00f3sok krt. 2, Budapest, 1117, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary 1117","institution_ids":["https://openalex.org/I29770179"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5064890236"],"corresponding_institution_ids":["https://openalex.org/I29770179"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":null,"fwci":14.1369,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.98573046,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"16","issue":"2","first_page":"357","last_page":"392"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9983000159263611,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9950000047683716,"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.8717355728149414},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.7517752647399902},{"id":"https://openalex.org/keywords/digital-subscriber-line","display_name":"Digital subscriber line","score":0.7055102586746216},{"id":"https://openalex.org/keywords/transitive-closure","display_name":"Transitive closure","score":0.652358889579773},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6343531012535095},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5800668001174927},{"id":"https://openalex.org/keywords/metamodeling","display_name":"Metamodeling","score":0.5529850721359253},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4710559546947479},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4263850450515747}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8717355728149414},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.7517752647399902},{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.7055102586746216},{"id":"https://openalex.org/C128896722","wikidata":"https://www.wikidata.org/wiki/Q1501387","display_name":"Transitive closure","level":2,"score":0.652358889579773},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6343531012535095},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5800668001174927},{"id":"https://openalex.org/C86610423","wikidata":"https://www.wikidata.org/wiki/Q1925081","display_name":"Metamodeling","level":2,"score":0.5529850721359253},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4710559546947479},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4263850450515747},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","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/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10270-015-0485-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10270-015-0485-x","pdf_url":null,"source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software & Systems Modeling","raw_type":"journal-article"},{"id":"pmh:oai:real.mtak.hu:48989","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":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W17882525","https://openalex.org/W46924000","https://openalex.org/W109395435","https://openalex.org/W112718097","https://openalex.org/W187743145","https://openalex.org/W762929688","https://openalex.org/W1125196841","https://openalex.org/W1480909796","https://openalex.org/W1536511644","https://openalex.org/W1536631555","https://openalex.org/W1548001884","https://openalex.org/W1569208917","https://openalex.org/W1576863229","https://openalex.org/W1639950690","https://openalex.org/W1973559034","https://openalex.org/W1979037869","https://openalex.org/W1985585837","https://openalex.org/W1987519845","https://openalex.org/W1997864678","https://openalex.org/W1998400029","https://openalex.org/W2023928171","https://openalex.org/W2025196861","https://openalex.org/W2027346590","https://openalex.org/W2043310979","https://openalex.org/W2055287943","https://openalex.org/W2060440626","https://openalex.org/W2062952062","https://openalex.org/W2068505028","https://openalex.org/W2076990838","https://openalex.org/W2077043493","https://openalex.org/W2085614195","https://openalex.org/W2089381631","https://openalex.org/W2091920469","https://openalex.org/W2103364805","https://openalex.org/W2104061096","https://openalex.org/W2107792798","https://openalex.org/W2119284483","https://openalex.org/W2121061989","https://openalex.org/W2152949134","https://openalex.org/W2153019760","https://openalex.org/W2315770883","https://openalex.org/W2401773555","https://openalex.org/W2406059451","https://openalex.org/W2412353202","https://openalex.org/W2500880432","https://openalex.org/W3149109633","https://openalex.org/W4240872599","https://openalex.org/W4244167827","https://openalex.org/W4256389789","https://openalex.org/W4301352211"],"related_works":["https://openalex.org/W2119542776","https://openalex.org/W2014596857","https://openalex.org/W2582410692","https://openalex.org/W1485300234","https://openalex.org/W2258960507","https://openalex.org/W2140083133","https://openalex.org/W2460228634","https://openalex.org/W2097052821","https://openalex.org/W3195685258","https://openalex.org/W2129492722"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":7}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}