{"id":"https://openalex.org/W4323267621","doi":"https://doi.org/10.1142/s0218194023500134","title":"A Formal Approach for Consistency Management in UML Models","display_name":"A Formal Approach for Consistency Management in UML Models","publication_year":2023,"publication_date":"2023-03-05","ids":{"openalex":"https://openalex.org/W4323267621","doi":"https://doi.org/10.1142/s0218194023500134"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194023500134","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194023500134","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge 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/A5058081329","display_name":"Hao Wen","orcid":"https://orcid.org/0000-0002-6846-6857"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hao Wen","raw_affiliation_strings":["Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu, P.\u00a0R.\u00a0China","University of Chinese Academy of Sciences, Beijing, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0000-0002-6846-6857","affiliations":[{"raw_affiliation_string":"Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030022647","display_name":"Jinzhao Wu","orcid":"https://orcid.org/0000-0002-8284-6514"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I3129996945","display_name":"Guilin University of Aerospace Technology","ror":"https://ror.org/00h1gc758","country_code":"CN","type":"education","lineage":["https://openalex.org/I3129996945"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jinzhao Wu","raw_affiliation_strings":["Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu, P.\u00a0R.\u00a0China","Guilin University of Aerospace Technology, Guilin, P. R. China","University of Chinese Academy of Sciences, Beijing, P.\u00a0R.\u00a0China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I19820366"]},{"raw_affiliation_string":"Guilin University of Aerospace Technology, Guilin, P. R. China","institution_ids":["https://openalex.org/I3129996945"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090340379","display_name":"Jianmin Jiang","orcid":"https://orcid.org/0000-0002-5178-0081"},"institutions":[{"id":"https://openalex.org/I24201400","display_name":"Chengdu University of Information Technology","ror":"https://ror.org/01yxwrh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I24201400"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jianmin Jiang","raw_affiliation_strings":["College of Software Engineering, Chengdu University of Information Technology, Chengdu, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0000-0002-5178-0081","affiliations":[{"raw_affiliation_string":"College of Software Engineering, Chengdu University of Information Technology, Chengdu, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I24201400"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062440329","display_name":"Guofu Tang","orcid":"https://orcid.org/0000-0003-3238-1306"},"institutions":[{"id":"https://openalex.org/I24201400","display_name":"Chengdu University of Information Technology","ror":"https://ror.org/01yxwrh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I24201400"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guofu Tang","raw_affiliation_strings":["College of Software Engineering, Chengdu University of Information Technology, Chengdu, P.\u00a0R.\u00a0China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Software Engineering, Chengdu University of Information Technology, Chengdu, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I24201400"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016260066","display_name":"Hong Zhong","orcid":"https://orcid.org/0000-0002-0392-9734"},"institutions":[{"id":"https://openalex.org/I111753288","display_name":"Fujian Normal University","ror":"https://ror.org/020azk594","country_code":"CN","type":"education","lineage":["https://openalex.org/I111753288"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhong Hong","raw_affiliation_strings":["College of Mathematics and Informatics, Fujian Normal University, Fuzhou, P.\u00a0R.\u00a0China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Mathematics and Informatics, Fujian Normal University, Fuzhou, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I111753288"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5090340379"],"corresponding_institution_ids":["https://openalex.org/I24201400"],"apc_list":null,"apc_paid":null,"fwci":1.0225,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.80208495,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"33","issue":"05","first_page":"733","last_page":"763"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9993000030517578,"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/consistency","display_name":"Consistency (knowledge bases)","score":0.828302264213562},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7156553268432617},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.6566765308380127},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6066206693649292},{"id":"https://openalex.org/keywords/causal-consistency","display_name":"Causal consistency","score":0.5458366274833679},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.5346583127975464},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.47190433740615845},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.46493977308273315},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.46436047554016113},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.45993924140930176},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.45801252126693726},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4195573925971985},{"id":"https://openalex.org/keywords/software-development-process","display_name":"Software development process","score":0.4166867733001709},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.41501739621162415},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32542866468429565},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13482186198234558}],"concepts":[{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.828302264213562},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7156553268432617},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.6566765308380127},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6066206693649292},{"id":"https://openalex.org/C175652121","wikidata":"https://www.wikidata.org/wiki/Q4379351","display_name":"Causal consistency","level":5,"score":0.5458366274833679},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.5346583127975464},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.47190433740615845},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.46493977308273315},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.46436047554016113},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.45993924140930176},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45801252126693726},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4195573925971985},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.4166867733001709},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.41501739621162415},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32542866468429565},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13482186198234558}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194023500134","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194023500134","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/12","score":0.5,"display_name":"Responsible consumption and production"}],"awards":[{"id":"https://openalex.org/G3466727608","display_name":null,"funder_award_id":"61772004","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8034016658","display_name":null,"funder_award_id":"61772006","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8131377651","display_name":null,"funder_award_id":"12261027","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W8913454","https://openalex.org/W776719359","https://openalex.org/W1508079470","https://openalex.org/W1544213611","https://openalex.org/W1598022760","https://openalex.org/W1602650507","https://openalex.org/W1688986998","https://openalex.org/W1968128450","https://openalex.org/W1983421263","https://openalex.org/W2012959900","https://openalex.org/W2027346590","https://openalex.org/W2043584256","https://openalex.org/W2047193350","https://openalex.org/W2052987299","https://openalex.org/W2055016397","https://openalex.org/W2058145265","https://openalex.org/W2111673347","https://openalex.org/W2112000202","https://openalex.org/W2112964990","https://openalex.org/W2113361184","https://openalex.org/W2116759993","https://openalex.org/W2124412953","https://openalex.org/W2127685229","https://openalex.org/W2135920852","https://openalex.org/W2150189917","https://openalex.org/W2182532498","https://openalex.org/W2205337852","https://openalex.org/W2227471340","https://openalex.org/W2262937054","https://openalex.org/W2289531811","https://openalex.org/W2518794401","https://openalex.org/W2523983521","https://openalex.org/W2588452400","https://openalex.org/W2613005695","https://openalex.org/W2785777260","https://openalex.org/W2914757374","https://openalex.org/W2963452129","https://openalex.org/W2979412565","https://openalex.org/W3011922398","https://openalex.org/W3081422979","https://openalex.org/W3124048408","https://openalex.org/W3129835656","https://openalex.org/W4225623360"],"related_works":["https://openalex.org/W2160357235","https://openalex.org/W2949499328","https://openalex.org/W2025301734","https://openalex.org/W1593939529","https://openalex.org/W246909719","https://openalex.org/W2044887272","https://openalex.org/W2949587676","https://openalex.org/W1604914670","https://openalex.org/W2144153901","https://openalex.org/W4292345996"],"abstract_inverted_index":{"Consistency":[0,66],"is":[1,17,73,131,149,166,172,184,190],"a":[2,10,74,108,128,211,215],"significant":[3],"indicator":[4],"to":[5,19,37,45,56,90,106],"measure":[6],"the":[7,27,60,79,98,119,136,141,145,161,169,175,187,193,203],"correctness":[8],"of":[9,95,100,140,147,205],"software":[11,24,28,82,121,142],"system":[12,171,189],"in":[13,26,59,78,118],"its":[14],"lifecycle.":[15],"It":[16],"inevitable":[18],"introduce":[20],"inconsistencies":[21,51],"between":[22],"different":[23],"artifacts":[25],"development":[29,83,122],"process.":[30,84,123],"In":[31],"practice,":[32],"developers":[33],"perform":[34],"consistency":[35,71,92,112,148,153,158,176,194],"checking":[36,69],"detect":[38],"inconsistencies,":[39],"and":[40,70],"apply":[41],"their":[42],"corresponding":[43],"repairs":[44],"restore":[46],"consistencies.":[47],"Even":[48],"if":[49,168,186],"all":[50],"can":[52,177,195],"be":[53,64,116,178,196],"repaired,":[54],"how":[55],"preserve":[57],"consistencies":[58],"subsequent":[61],"evolution":[62],"should":[63],"considered.":[65],"management":[67],"(consistency":[68],"preservation)":[72],"challenging":[75],"task,":[76],"especially":[77],"multi-view":[80],"model-driven":[81],"Although":[85],"there":[86],"are":[87],"some":[88],"efforts":[89],"discuss":[91],"management,":[93,113],"most":[94],"them":[96],"lack":[97],"support":[99],"formal":[101,111,125],"methods.":[102],"Our":[103],"work":[104],"aims":[105],"provide":[107],"framework":[109],"for":[110,134],"which":[114],"may":[115],"used":[117],"practical":[120],"A":[124],"model,":[126,130],"called":[127],"Structure":[129],"first":[132],"presented":[133],"specifying":[135],"overall":[137],"model-based":[138],"structure":[139],"system.":[143],"Next,":[144],"definition":[146],"given":[150],"based":[151],"on":[152],"rules.":[154],"We":[155],"then":[156,174,192],"investigate":[157],"preservation":[159],"under":[160],"following":[162],"two":[163],"situations.":[164],"One":[165],"that":[167,185],"initial":[170,188],"inconsistent,":[173],"restored":[179],"through":[180,198],"repairs.":[181],"The":[182],"other":[183],"consistent,":[191],"maintained":[197],"update":[199],"propagation.":[200],"To":[201],"demonstrate":[202],"effectiveness":[204],"our":[206],"approach,":[207],"we":[208],"finally":[209],"present":[210],"case":[212],"study":[213],"with":[214],"prototype":[216],"tool.":[217]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}