{"id":"https://openalex.org/W4235785431","doi":"https://doi.org/10.1145/1640089.1640114","title":"Demystifying model transformations","display_name":"Demystifying model transformations","publication_year":2009,"publication_date":"2009-10-25","ids":{"openalex":"https://openalex.org/W4235785431","doi":"https://doi.org/10.1145/1640089.1640114"},"language":"en","primary_location":{"id":"doi:10.1145/1640089.1640114","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1640089.1640114","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications","raw_type":"proceedings-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/A5041153412","display_name":"Mangala Gowri Nanda","orcid":null},"institutions":[{"id":"https://openalex.org/I4210103279","display_name":"IBM Research - India","ror":"https://ror.org/014wt7r80","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210103279","https://openalex.org/I4210114115"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Mangala Gowri Nanda","raw_affiliation_strings":["IBM Research India, New Delhi, India"],"affiliations":[{"raw_affiliation_string":"IBM Research India, New Delhi, India","institution_ids":["https://openalex.org/I4210103279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065047775","display_name":"Senthil Mani","orcid":"https://orcid.org/0000-0002-9624-2623"},"institutions":[{"id":"https://openalex.org/I4210103279","display_name":"IBM Research - India","ror":"https://ror.org/014wt7r80","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210103279","https://openalex.org/I4210114115"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Senthil Mani","raw_affiliation_strings":["IBM Research India, New Delhi, India"],"affiliations":[{"raw_affiliation_string":"IBM Research India, New Delhi, India","institution_ids":["https://openalex.org/I4210103279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031880575","display_name":"Vibha Singhal Sinha","orcid":null},"institutions":[{"id":"https://openalex.org/I4210103279","display_name":"IBM Research - India","ror":"https://ror.org/014wt7r80","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210103279","https://openalex.org/I4210114115"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Vibha Singhal Sinha","raw_affiliation_strings":["IBM Research India, New Delhi, India"],"affiliations":[{"raw_affiliation_string":"IBM Research India, New Delhi, India","institution_ids":["https://openalex.org/I4210103279"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016963468","display_name":"Saurabh Sinha","orcid":"https://orcid.org/0000-0001-7453-9576"},"institutions":[{"id":"https://openalex.org/I4210103279","display_name":"IBM Research - India","ror":"https://ror.org/014wt7r80","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210103279","https://openalex.org/I4210114115"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Saurabh Sinha","raw_affiliation_strings":["IBM Research India, New Delhi, India"],"affiliations":[{"raw_affiliation_string":"IBM Research India, New Delhi, India","institution_ids":["https://openalex.org/I4210103279"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5041153412"],"corresponding_institution_ids":["https://openalex.org/I4210103279"],"apc_list":null,"apc_paid":null,"fwci":0.9048,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.79879192,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"341","last_page":"360"},"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.9997000098228455,"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.9997000098228455,"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.9990000128746033,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9983000159263611,"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.8489327430725098},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.747979998588562},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.674729585647583},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6315973997116089},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.6094560623168945},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5767307877540588},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5051456093788147},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4716982841491699},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4641042947769165},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3812893033027649},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3400304913520813},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2628037929534912}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8489327430725098},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.747979998588562},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.674729585647583},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6315973997116089},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.6094560623168945},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5767307877540588},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5051456093788147},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4716982841491699},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4641042947769165},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3812893033027649},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3400304913520813},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2628037929534912},{"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","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/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1640089.1640114","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1640089.1640114","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1520813197","https://openalex.org/W1562798600","https://openalex.org/W1977283758","https://openalex.org/W1985779099","https://openalex.org/W1987549499","https://openalex.org/W1993836075","https://openalex.org/W2032774097","https://openalex.org/W2050320220","https://openalex.org/W2064081154","https://openalex.org/W2067251265","https://openalex.org/W2101512909","https://openalex.org/W2107061559","https://openalex.org/W2114337691","https://openalex.org/W2122081904","https://openalex.org/W2133737833","https://openalex.org/W2139872812","https://openalex.org/W2150874411","https://openalex.org/W2158583527","https://openalex.org/W2164372721","https://openalex.org/W2171683519","https://openalex.org/W2173469511","https://openalex.org/W2539024465","https://openalex.org/W4237492309"],"related_works":["https://openalex.org/W2364400229","https://openalex.org/W2157133118","https://openalex.org/W2159183434","https://openalex.org/W2083001816","https://openalex.org/W2381039361","https://openalex.org/W2178641308","https://openalex.org/W2367221173","https://openalex.org/W2351484374","https://openalex.org/W1988041277","https://openalex.org/W3081644756"],"abstract_inverted_index":{"Model-driven":[0],"development":[1],"(MDD)":[2],"is":[3],"widely":[4],"used":[5,120],"to":[6,33,85,107,112,121,131],"develop":[7],"modern":[8],"business":[9],"applications.":[10],"MDD":[11],"involves":[12],"creating":[13],"models":[14,22,35],"at":[15],"different":[16],"levels":[17],"of":[18,23],"abstractions.":[19],"Starting":[20],"with":[21],"domain":[24],"concepts,":[25],"these":[26],"abstractions":[27],"are":[28,59,105],"successively":[29],"refined,":[30],"using":[31,57],"transforms,":[32],"design-level":[34],"and,":[36],"eventually,":[37],"code-level":[38,103],"artifacts.":[39],"Although":[40],"many":[41],"tools":[42,50],"exist":[43],"that":[44,51,155],"support":[45,132],"transform":[46,88,128,180],"creation":[47],"and":[48,56,75,90,130,166],"verification,":[49],"help":[52],"users":[53,70,171],"in":[54,71,144,162],"understanding":[55,72],"transforms":[58],"rare.":[60],"In":[61],"this":[62],"paper,":[63],"we":[64],"present":[65,150],"an":[66,124],"approach":[67,158],"for":[68],"assisting":[69],"model":[73,110,126],"transformations":[74],"debugging":[76],"their":[77],"input":[78,109,125],"models.":[79],"We":[80,139,149],"use":[81],"automated":[82],"program-analysis":[83],"techniques":[84],"analyze":[86],"the":[87,108,142,168,179],"code":[89],"compute":[91],"constraints":[92,104],"under":[93],"which":[94,153],"a":[95,137,145,174],"transformation":[96,176],"may":[97],"fail":[98],"or":[99],"be":[100,119,160],"incomplete.":[101],"These":[102],"mapped":[106],"elements":[111],"generate":[113],"model-level":[114],"rules.":[115],"The":[116],"rules":[117,169],"can":[118,159],"validate":[122],"whether":[123],"violates":[127],"constraints,":[129],"general":[133],"user":[134],"queries":[135],"about":[136],"transformation.":[138],"have":[140],"implemented":[141],"analysis":[143],"tool":[146],"called":[147],"XYLEM.":[148],"empirical":[151],"results,":[152],"indicate":[154],"(1)":[156],"our":[157],"effective":[161],"inferring":[163],"useful":[164],"rules,":[165],"(2)":[167],"let":[170],"efficiently":[172],"diagnose":[173],"failing":[175],"without":[177],"examining":[178],"source":[181],"code.":[182]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}