{"id":"https://openalex.org/W2339177863","doi":"https://doi.org/10.1109/tse.2015.2488645","title":"An Approach to Checking Consistency between UML Class Model and Its Java Implementation","display_name":"An Approach to Checking Consistency between UML Class Model and Its Java Implementation","publication_year":2015,"publication_date":"2015-10-08","ids":{"openalex":"https://openalex.org/W2339177863","doi":"https://doi.org/10.1109/tse.2015.2488645","mag":"2339177863"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2015.2488645","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2015.2488645","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","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/A5057317612","display_name":"Hector M. Chavez","orcid":null},"institutions":[{"id":"https://openalex.org/I141649380","display_name":"Western Michigan University","ror":"https://ror.org/04j198w64","country_code":"US","type":"education","lineage":["https://openalex.org/I141649380"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Hector M. Chavez","raw_affiliation_strings":["Computer Science, Western Michigan University, Kalamazoo, MI"],"affiliations":[{"raw_affiliation_string":"Computer Science, Western Michigan University, Kalamazoo, MI","institution_ids":["https://openalex.org/I141649380"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066312294","display_name":"Wuwei Shen","orcid":"https://orcid.org/0000-0002-8284-2724"},"institutions":[{"id":"https://openalex.org/I141649380","display_name":"Western Michigan University","ror":"https://ror.org/04j198w64","country_code":"US","type":"education","lineage":["https://openalex.org/I141649380"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wuwei Shen","raw_affiliation_strings":["Computer Science, Western Michigan University, Kalamazoo, MI"],"affiliations":[{"raw_affiliation_string":"Computer Science, Western Michigan University, Kalamazoo, MI","institution_ids":["https://openalex.org/I141649380"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103535548","display_name":"Robert B. France","orcid":null},"institutions":[{"id":"https://openalex.org/I92446798","display_name":"Colorado State University","ror":"https://ror.org/03k1gpj17","country_code":"US","type":"education","lineage":["https://openalex.org/I92446798"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert B. France","raw_affiliation_strings":["Computer Science, Colorado State University, Fort Collins, United States"],"affiliations":[{"raw_affiliation_string":"Computer Science, Colorado State University, Fort Collins, United States","institution_ids":["https://openalex.org/I92446798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086039509","display_name":"Benjamin A. Mechling","orcid":null},"institutions":[{"id":"https://openalex.org/I141649380","display_name":"Western Michigan University","ror":"https://ror.org/04j198w64","country_code":"US","type":"education","lineage":["https://openalex.org/I141649380"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Benjamin A. Mechling","raw_affiliation_strings":["Computer Science, Western Michigan University, Kalamazoo, MI"],"affiliations":[{"raw_affiliation_string":"Computer Science, Western Michigan University, Kalamazoo, MI","institution_ids":["https://openalex.org/I141649380"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101603720","display_name":"Guangyuan Li","orcid":"https://orcid.org/0000-0002-2938-527X"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guangyuan Li","raw_affiliation_strings":["State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5057317612"],"corresponding_institution_ids":["https://openalex.org/I141649380"],"apc_list":null,"apc_paid":null,"fwci":3.3184,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.92271776,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"42","issue":"4","first_page":"322","last_page":"344"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging 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/T10743","display_name":"Software Testing and Debugging 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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9995999932289124,"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.9991999864578247,"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.872390627861023},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.6585774421691895},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6528559327125549},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6469385027885437},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5845817923545837},{"id":"https://openalex.org/keywords/eclipse","display_name":"Eclipse","score":0.5571531653404236},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.531211256980896},{"id":"https://openalex.org/keywords/model-driven-architecture","display_name":"Model-driven architecture","score":0.5016405582427979},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5000298023223877},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.48696431517601013},{"id":"https://openalex.org/keywords/class-diagram","display_name":"Class diagram","score":0.4153207242488861},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3338291049003601},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1162232756614685}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.872390627861023},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.6585774421691895},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6528559327125549},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6469385027885437},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5845817923545837},{"id":"https://openalex.org/C2778505590","wikidata":"https://www.wikidata.org/wiki/Q141022","display_name":"Eclipse","level":2,"score":0.5571531653404236},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.531211256980896},{"id":"https://openalex.org/C509989072","wikidata":"https://www.wikidata.org/wiki/Q15188241","display_name":"Model-driven architecture","level":4,"score":0.5016405582427979},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5000298023223877},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.48696431517601013},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.4153207242488861},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3338291049003601},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1162232756614685},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2015.2488645","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2015.2488645","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4699999988079071,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G4205286316","display_name":null,"funder_award_id":"61472406","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W5815757","https://openalex.org/W163074494","https://openalex.org/W1489862800","https://openalex.org/W1574831287","https://openalex.org/W1586910069","https://openalex.org/W1602650507","https://openalex.org/W1934543060","https://openalex.org/W1981005390","https://openalex.org/W1987593108","https://openalex.org/W2009489720","https://openalex.org/W2010634892","https://openalex.org/W2014435926","https://openalex.org/W2025486920","https://openalex.org/W2033348393","https://openalex.org/W2044561940","https://openalex.org/W2049984112","https://openalex.org/W2096824803","https://openalex.org/W2112970105","https://openalex.org/W2113085447","https://openalex.org/W2115593151","https://openalex.org/W2127970060","https://openalex.org/W2129809495","https://openalex.org/W2138096911","https://openalex.org/W2139158240","https://openalex.org/W2141407780","https://openalex.org/W2146934772","https://openalex.org/W2160456755","https://openalex.org/W2161963160","https://openalex.org/W2162120832","https://openalex.org/W2165295615","https://openalex.org/W2171480813","https://openalex.org/W2999514747","https://openalex.org/W3012478566","https://openalex.org/W4233066961","https://openalex.org/W6680824961"],"related_works":["https://openalex.org/W2379755045","https://openalex.org/W2387087283","https://openalex.org/W2164169094","https://openalex.org/W2372699303","https://openalex.org/W2370069317","https://openalex.org/W1968959699","https://openalex.org/W1992980525","https://openalex.org/W1990618896","https://openalex.org/W171034005","https://openalex.org/W1838171755"],"abstract_inverted_index":{"Model":[0],"Driven":[1],"Engineering":[2],"(MDE)":[3],"aims":[4,127],"to":[5,17,73,88,93,128,145,156,164],"expedite":[6],"the":[7,60,116,131,142,157,168,174],"software":[8],"development":[9],"process":[10],"by":[11,119],"providing":[12],"support":[13],"for":[14,108],"transforming":[15],"models":[16,95,169],"running":[18],"systems.":[19],"Many":[20],"modeling":[21],"tools":[22],"provide":[23],"forward":[24],"engineering":[25],"features,":[26],"which":[27,63],"automatically":[28],"translate":[29],"a":[30,33,42,53,77,99,105,150],"model":[31,44,75],"into":[32],"skeletal":[34],"program":[35],"that":[36,69,84,90],"developers":[37,85],"must":[38],"complete.":[39],"Inconsistencies":[40],"between":[41,167],"design":[43,121],"and":[45,153,170],"its":[46,74,120],"implementation,":[47],"however,":[48],"can":[49,86,96],"arise,":[50],"particularly":[51],"when":[52],"final":[54],"implementation":[55,71,114],"is":[56,76],"developed":[57,149],"dependently":[58],"on":[59],"code":[61],"from":[62],"it":[64,155],"was":[65],"generated.":[66],"Manually":[67],"checking":[68],"an":[70,81,113],"conforms":[72],"daunting":[78],"task.":[79],"Thus,":[80],"MDE":[82],"tool":[83,152],"use":[87],"check":[89],"implementations":[91,172],"conform":[92],"their":[94,171],"significantly":[97],"improve":[98],"developer's":[100],"productivity.":[101],"This":[102],"paper":[103],"presents":[104],"model-based":[106,124],"approach":[107,126],"testing":[109,125],"whether":[110],"or":[111],"not":[112],"satisfies":[115],"constraints":[117],"imposed":[118],"model.":[122],"Our":[123],"efficiently":[129],"reduce":[130],"test":[132],"input":[133],"space":[134],"while":[135],"supporting":[136],"branch":[137],"coverage":[138],"criteria.":[139],"To":[140],"evaluate":[141],"approach's":[143],"ability":[144],"uncover":[146,165],"inconsistencies,":[147],"we":[148],"prototypical":[151],"applied":[154],"Eclipse":[158],"UML2":[159],"projects.":[160],"We":[161],"were":[162],"able":[163],"inconsistencies":[166],"using":[173],"tool.":[175]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"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"}
