{"id":"https://openalex.org/W2768544685","doi":"https://doi.org/10.1007/s00165-017-0441-3","title":"Variability-based model transformation: formal foundation and application","display_name":"Variability-based model transformation: formal foundation and application","publication_year":2017,"publication_date":"2017-11-27","ids":{"openalex":"https://openalex.org/W2768544685","doi":"https://doi.org/10.1007/s00165-017-0441-3","mag":"2768544685"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-017-0441-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-017-0441-3","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"Formal Aspects of Computing","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/A5000688587","display_name":"Daniel Str\u00fcber","orcid":"https://orcid.org/0000-0002-5969-3521"},"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"]},{"id":"https://openalex.org/I2802076133","display_name":"University of Koblenz and Landau","ror":"https://ror.org/01j9f6752","country_code":"DE","type":"education","lineage":["https://openalex.org/I2802076133"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"D. Str\u00fcber","raw_affiliation_strings":["Institute for Computer Science, University of Koblenz and Landau, Universittsstr. 1, 56070, Koblenz, Germany","University of Marburg, Marburg, Germany","Institute for Computer Science, University of Koblenz and Landau, Universittsstr. 1, 56070, Koblenz, Germany University of Marburg, Marburg, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Computer Science, University of Koblenz and Landau, Universittsstr. 1, 56070, Koblenz, Germany","institution_ids":["https://openalex.org/I2802076133"]},{"raw_affiliation_string":"University of Marburg, Marburg, Germany","institution_ids":["https://openalex.org/I161103922"]},{"raw_affiliation_string":"Institute for Computer Science, University of Koblenz and Landau, Universittsstr. 1, 56070, Koblenz, Germany University of Marburg, Marburg, Germany","institution_ids":["https://openalex.org/I2802076133"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029269318","display_name":"Julia Rubin","orcid":"https://orcid.org/0000-0001-7280-1614"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]},{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA","US"],"is_corresponding":false,"raw_author_name":"J. Rubin","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, USA","University of British Columbia, Vancouver, Canada","Massachusetts Institute of Technology, Cambridge, USA University of British Columbia, Vancouver, Canada"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"University of British Columbia, Vancouver, Canada","institution_ids":["https://openalex.org/I141945490"]},{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA University of British Columbia, Vancouver, Canada","institution_ids":["https://openalex.org/I63966007","https://openalex.org/I141945490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057285474","display_name":"Thorsten Arendt","orcid":"https://orcid.org/0000-0002-4866-6405"},"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":"T. Arendt","raw_affiliation_strings":["GFFT Innovationsf\u00f6rderung GmbH, Bad Vilbel, Germany","University of Marburg, Marburg, Germany"],"affiliations":[{"raw_affiliation_string":"GFFT Innovationsf\u00f6rderung GmbH, Bad Vilbel, Germany","institution_ids":[]},{"raw_affiliation_string":"University of Marburg, Marburg, Germany","institution_ids":["https://openalex.org/I161103922"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079431306","display_name":"Marsha Che\u0107hik","orcid":"https://orcid.org/0000-0002-6301-3517"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"M. Chechik","raw_affiliation_strings":["University of Toronto, Toronto, Canada"],"affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","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":"G. Taentzer","raw_affiliation_strings":["University of Marburg, Marburg, Germany"],"affiliations":[{"raw_affiliation_string":"University of Marburg, Marburg, Germany","institution_ids":["https://openalex.org/I161103922"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015168430","display_name":"Jennifer Pl\u00f6ger","orcid":null},"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":"J. Pl\u00f6ger","raw_affiliation_strings":["University of Marburg, Marburg, Germany"],"affiliations":[{"raw_affiliation_string":"University of Marburg, Marburg, Germany","institution_ids":["https://openalex.org/I161103922"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5000688587"],"corresponding_institution_ids":["https://openalex.org/I161103922","https://openalex.org/I2802076133"],"apc_list":null,"apc_paid":null,"fwci":6.1054,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.96888053,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"30","issue":"1","first_page":"133","last_page":"162"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.996999979019165,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9944999814033508,"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/correctness","display_name":"Correctness","score":0.8464106321334839},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7698171734809875},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.7105323672294617},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.6666807532310486},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5742688775062561},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5285699963569641},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5177983045578003},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5136412978172302},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.48868969082832336},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.47398653626441956},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.4465317130088806},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3322790861129761},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22959086298942566}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8464106321334839},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7698171734809875},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.7105323672294617},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6666807532310486},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5742688775062561},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5285699963569641},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5177983045578003},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5136412978172302},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.48868969082832336},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.47398653626441956},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.4465317130088806},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3322790861129761},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22959086298942566},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"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/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-017-0441-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-017-0441-3","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7119226369","display_name":null,"funder_award_id":"653642","funder_id":"https://openalex.org/F4320335254","funder_display_name":"Horizon 2020"}],"funders":[{"id":"https://openalex.org/F4320335254","display_name":"Horizon 2020","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":80,"referenced_works":["https://openalex.org/W51945926","https://openalex.org/W57169743","https://openalex.org/W125899073","https://openalex.org/W128068924","https://openalex.org/W155382641","https://openalex.org/W160373958","https://openalex.org/W204235972","https://openalex.org/W968713204","https://openalex.org/W969544928","https://openalex.org/W1491530003","https://openalex.org/W1499801993","https://openalex.org/W1501652040","https://openalex.org/W1504271833","https://openalex.org/W1504988257","https://openalex.org/W1523742478","https://openalex.org/W1532351269","https://openalex.org/W1567495835","https://openalex.org/W1596411313","https://openalex.org/W1602788114","https://openalex.org/W1751328170","https://openalex.org/W1843363608","https://openalex.org/W1930108061","https://openalex.org/W1962592449","https://openalex.org/W1972476072","https://openalex.org/W1993122571","https://openalex.org/W1998356535","https://openalex.org/W2015554754","https://openalex.org/W2015965801","https://openalex.org/W2029954071","https://openalex.org/W2036265926","https://openalex.org/W2041837565","https://openalex.org/W2048064553","https://openalex.org/W2048342307","https://openalex.org/W2058978608","https://openalex.org/W2067056571","https://openalex.org/W2073642557","https://openalex.org/W2074529754","https://openalex.org/W2084340682","https://openalex.org/W2092711465","https://openalex.org/W2093861610","https://openalex.org/W2094810043","https://openalex.org/W2100040503","https://openalex.org/W2103736327","https://openalex.org/W2103908474","https://openalex.org/W2108360933","https://openalex.org/W2108383522","https://openalex.org/W2109640930","https://openalex.org/W2111038497","https://openalex.org/W2113500796","https://openalex.org/W2114990295","https://openalex.org/W2130876928","https://openalex.org/W2139791431","https://openalex.org/W2143363350","https://openalex.org/W2147642262","https://openalex.org/W2151265383","https://openalex.org/W2153233077","https://openalex.org/W2156843723","https://openalex.org/W2161806321","https://openalex.org/W2162273427","https://openalex.org/W2170726034","https://openalex.org/W2182864832","https://openalex.org/W2196963376","https://openalex.org/W2223919673","https://openalex.org/W2295658813","https://openalex.org/W2296406466","https://openalex.org/W2302382203","https://openalex.org/W2408786559","https://openalex.org/W2441447147","https://openalex.org/W2482201051","https://openalex.org/W2486106614","https://openalex.org/W2488540871","https://openalex.org/W2525387794","https://openalex.org/W2577993255","https://openalex.org/W2641194201","https://openalex.org/W2730026740","https://openalex.org/W2963873789","https://openalex.org/W3003280364","https://openalex.org/W3147879658","https://openalex.org/W4252076279","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W2468279273","https://openalex.org/W3119814709","https://openalex.org/W2018477250","https://openalex.org/W35919320","https://openalex.org/W1980945286","https://openalex.org/W2033140592","https://openalex.org/W2966593744"],"abstract_inverted_index":{"Abstract":[0],"Model":[1],"transformation":[2,6,29],"systems":[3],"often":[4],"contain":[5],"rules":[7,41,57,111],"that":[8],"are":[9,85],"substantially":[10],"similar":[11,40],"to":[12,35,95,100,121],"each":[13],"other,":[14],"causing":[15],"maintenance":[16],"issues":[17],"and":[18,82,99],"performance":[19],"bottlenecks.":[20],"To":[21],"address":[22],"these":[23],"issues,":[24],"we":[25,64],"introduce":[26,65],"variability-based":[27,47,77,110],"model":[28],".":[30,49],"The":[31],"key":[32],"idea":[33],"is":[34],"encode":[36],"a":[37,43,68,88],"set":[38],"of":[39,76],"into":[42],"compact":[44],"representation,":[45],"called":[46],"rule":[48,66,80],"We":[50],"provide":[51,96],"an":[52,59],"algorithm":[53],"for":[54,71],"applying":[55],"such":[56],"in":[58],"efficient":[60],"manner.":[61],"In":[62,103],"addition,":[63],"merging,":[67],"three-component":[69],"mechanism":[70],"enabling":[72],"the":[73,108,118],"automatic":[74],"creation":[75],"rules.":[78],"Our":[79],"application":[81,106],"merging":[83],"mechanisms":[84],"supported":[86],"by":[87],"novel":[89],"formal":[90],"framework,":[91],"using":[92],"category":[93],"theory":[94],"precise":[97],"definitions":[98],"prove":[101],"correctness.":[102],"two":[104],"realistic":[105],"scenarios,":[107],"created":[109],"enabled":[112],"considerable":[113],"speedups,":[114],"while":[115],"also":[116],"allowing":[117],"overall":[119],"specifications":[120],"become":[122],"more":[123],"compact.":[124]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}