{"id":"https://openalex.org/W2023801057","doi":"https://doi.org/10.1007/s10270-013-0358-0","title":"A survey of approaches for verifying model transformations","display_name":"A survey of approaches for verifying model transformations","publication_year":2013,"publication_date":"2013-06-12","ids":{"openalex":"https://openalex.org/W2023801057","doi":"https://doi.org/10.1007/s10270-013-0358-0","mag":"2023801057"},"language":"en","primary_location":{"id":"doi:10.1007/s10270-013-0358-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10270-013-0358-0","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/A5085205453","display_name":"Lukman Ab. Rahim","orcid":"https://orcid.org/0000-0002-7320-7980"},"institutions":[{"id":"https://openalex.org/I203899302","display_name":"Universiti Teknologi Petronas","ror":"https://ror.org/048g2sh07","country_code":"MY","type":"education","lineage":["https://openalex.org/I203899302"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"Lukman Ab.\u00a0Rahim","raw_affiliation_strings":["Department of Computer and Information Sciences, Universiti Teknologi PETRONAS, Bandar Seri Iskandar, 31750 , Tronoh, Perak, Malaysia","Department of Computer and Information Sciences, Universiti Teknologi PETRONAS, Tronoh, Malaysia 31750#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Sciences, Universiti Teknologi PETRONAS, Bandar Seri Iskandar, 31750 , Tronoh, Perak, Malaysia","institution_ids":["https://openalex.org/I203899302"]},{"raw_affiliation_string":"Department of Computer and Information Sciences, Universiti Teknologi PETRONAS, Tronoh, Malaysia 31750#TAB#","institution_ids":["https://openalex.org/I203899302"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028391851","display_name":"Jon Whittle","orcid":"https://orcid.org/0000-0002-9342-7809"},"institutions":[{"id":"https://openalex.org/I67415387","display_name":"Lancaster University","ror":"https://ror.org/04f2nsd36","country_code":"GB","type":"education","lineage":["https://openalex.org/I67415387"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Jon Whittle","raw_affiliation_strings":["School of Computing and Communications, InfoLab21, Lancaster University, Lancaster, LA1 4WA, UK","School of Computing and Communications, InfoLab21, Lancaster University, Lancaster, UK","School of Computing and Communications, InfoLab21, Lancaster University, Lancaster, UK LA1 4WA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing and Communications, InfoLab21, Lancaster University, Lancaster, LA1 4WA, UK","institution_ids":["https://openalex.org/I67415387"]},{"raw_affiliation_string":"School of Computing and Communications, InfoLab21, Lancaster University, Lancaster, UK","institution_ids":["https://openalex.org/I67415387"]},{"raw_affiliation_string":"School of Computing and Communications, InfoLab21, Lancaster University, Lancaster, UK LA1 4WA","institution_ids":["https://openalex.org/I67415387"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5028391851"],"corresponding_institution_ids":["https://openalex.org/I67415387"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":14.7059,"has_fulltext":false,"cited_by_count":102,"citation_normalized_percentile":{"value":0.991677,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":"14","issue":"2","first_page":"1003","last_page":"1028"},"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.9983999729156494,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9973000288009644,"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/formality","display_name":"Formality","score":0.8569515943527222},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8303619623184204},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.7417984008789062},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.6271257996559143},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4933435022830963},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4408232569694519},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4405978322029114},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3798091411590576},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3637775778770447},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2311679720878601}],"concepts":[{"id":"https://openalex.org/C2777159308","wikidata":"https://www.wikidata.org/wiki/Q1757948","display_name":"Formality","level":2,"score":0.8569515943527222},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8303619623184204},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.7417984008789062},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.6271257996559143},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4933435022830963},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4408232569694519},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4405978322029114},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3798091411590576},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3637775778770447},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2311679720878601},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","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},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10270-013-0358-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10270-013-0358-0","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"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":113,"referenced_works":["https://openalex.org/W1342665","https://openalex.org/W8500010","https://openalex.org/W8857778","https://openalex.org/W92673042","https://openalex.org/W122154057","https://openalex.org/W127166526","https://openalex.org/W145421520","https://openalex.org/W280676773","https://openalex.org/W1487851792","https://openalex.org/W1496759536","https://openalex.org/W1500956261","https://openalex.org/W1503540378","https://openalex.org/W1505953009","https://openalex.org/W1508005281","https://openalex.org/W1514397751","https://openalex.org/W1516852285","https://openalex.org/W1517809527","https://openalex.org/W1521011607","https://openalex.org/W1534729839","https://openalex.org/W1536621678","https://openalex.org/W1551827801","https://openalex.org/W1560458493","https://openalex.org/W1562798600","https://openalex.org/W1569053360","https://openalex.org/W1574412918","https://openalex.org/W1575176197","https://openalex.org/W1579389332","https://openalex.org/W1582036384","https://openalex.org/W1583267219","https://openalex.org/W1603406363","https://openalex.org/W1650869244","https://openalex.org/W1748251377","https://openalex.org/W1814221162","https://openalex.org/W1866530143","https://openalex.org/W1936017528","https://openalex.org/W1959875895","https://openalex.org/W1964992116","https://openalex.org/W1965979806","https://openalex.org/W1973559034","https://openalex.org/W1977283758","https://openalex.org/W1985779099","https://openalex.org/W1987549499","https://openalex.org/W1991598919","https://openalex.org/W1994879585","https://openalex.org/W2006782942","https://openalex.org/W2011866085","https://openalex.org/W2012567572","https://openalex.org/W2017315062","https://openalex.org/W2022106311","https://openalex.org/W2025383609","https://openalex.org/W2028570516","https://openalex.org/W2033406822","https://openalex.org/W2034711041","https://openalex.org/W2040238210","https://openalex.org/W2050820915","https://openalex.org/W2051414926","https://openalex.org/W2062952062","https://openalex.org/W2062987337","https://openalex.org/W2064854394","https://openalex.org/W2070429905","https://openalex.org/W2071229589","https://openalex.org/W2090094082","https://openalex.org/W2095741627","https://openalex.org/W2097208122","https://openalex.org/W2103414887","https://openalex.org/W2105655408","https://openalex.org/W2107061559","https://openalex.org/W2108443473","https://openalex.org/W2109063162","https://openalex.org/W2116614730","https://openalex.org/W2123227717","https://openalex.org/W2123586642","https://openalex.org/W2123812870","https://openalex.org/W2127890442","https://openalex.org/W2129574978","https://openalex.org/W2130876928","https://openalex.org/W2133737833","https://openalex.org/W2134042909","https://openalex.org/W2135776763","https://openalex.org/W2136573653","https://openalex.org/W2139198802","https://openalex.org/W2141188123","https://openalex.org/W2143378352","https://openalex.org/W2144455775","https://openalex.org/W2147544493","https://openalex.org/W2148608418","https://openalex.org/W2153773928","https://openalex.org/W2155693950","https://openalex.org/W2155978667","https://openalex.org/W2156957651","https://openalex.org/W2156990995","https://openalex.org/W2157133118","https://openalex.org/W2159151953","https://openalex.org/W2159153884","https://openalex.org/W2162831261","https://openalex.org/W2163598018","https://openalex.org/W2166437415","https://openalex.org/W2167736435","https://openalex.org/W2169424671","https://openalex.org/W2169969673","https://openalex.org/W2336539423","https://openalex.org/W2539024465","https://openalex.org/W2597376266","https://openalex.org/W2990016870","https://openalex.org/W4233493270","https://openalex.org/W4240872599","https://openalex.org/W4242754389","https://openalex.org/W4242915164","https://openalex.org/W4244116193","https://openalex.org/W4244167827","https://openalex.org/W4247675334","https://openalex.org/W4248708917","https://openalex.org/W4250349204"],"related_works":["https://openalex.org/W2364866360","https://openalex.org/W2166247150","https://openalex.org/W4243252198","https://openalex.org/W2118300983","https://openalex.org/W2807707818","https://openalex.org/W2062952062","https://openalex.org/W1494913990","https://openalex.org/W2061230361","https://openalex.org/W4244167827","https://openalex.org/W1550519739"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":10},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":9},{"year":2018,"cited_by_count":12},{"year":2017,"cited_by_count":12},{"year":2016,"cited_by_count":13},{"year":2015,"cited_by_count":12},{"year":2014,"cited_by_count":6}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}