{"id":"https://openalex.org/W4402516022","doi":"https://doi.org/10.1145/3696000","title":"KBX: Verified Model Synchronization via Formal Bidirectional Transformation","display_name":"KBX: Verified Model Synchronization via Formal Bidirectional Transformation","publication_year":2024,"publication_date":"2024-09-13","ids":{"openalex":"https://openalex.org/W4402516022","doi":"https://doi.org/10.1145/3696000"},"language":"en","primary_location":{"id":"doi:10.1145/3696000","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3696000","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","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/A5101346988","display_name":"Jianhong Zhao","orcid":"https://orcid.org/0009-0001-6524-1759"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jianhong Zhao","raw_affiliation_strings":["Zhejiang University, Hangzhou, China","Zhejiang University, China"],"raw_orcid":"https://orcid.org/0009-0001-6524-1759","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043515198","display_name":"Yongwang Zhao","orcid":"https://orcid.org/0000-0002-2284-1383"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongwang Zhao","raw_affiliation_strings":["Zhejiang University, Hangzhou, China","Zhejiang University, China"],"raw_orcid":"https://orcid.org/0000-0002-2284-1383","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045907091","display_name":"Peisen Yao","orcid":"https://orcid.org/0000-0003-0342-9518"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peisen Yao","raw_affiliation_strings":["Zhejiang University, Hangzhou, China","Zhejiang University, China"],"raw_orcid":"https://orcid.org/0000-0003-0342-9518","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072239560","display_name":"Fanlang Zeng","orcid":"https://orcid.org/0000-0002-6606-1602"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fanlang Zeng","raw_affiliation_strings":["Zhejiang University, Hangzhou, China","Zhejiang University, China"],"raw_orcid":"https://orcid.org/0000-0002-6606-1602","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078226330","display_name":"Bohua Zhan","orcid":"https://orcid.org/0000-0001-5377-9351"},"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/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":"Bohua Zhan","raw_affiliation_strings":["Institute of Software Chinese Academy of Sciences, Beijing, China","Institute of Software Chinese Academy of Sciences, China"],"raw_orcid":"https://orcid.org/0000-0001-5377-9351","affiliations":[{"raw_affiliation_string":"Institute of Software Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Institute of Software Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000596496","display_name":"Kui Ren","orcid":"https://orcid.org/0000-0003-3441-6277"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kui Ren","raw_affiliation_strings":["Zhejiang University, Hangzhou, China","Zhejiang University, China"],"raw_orcid":"https://orcid.org/0000-0003-3441-6277","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5101346988"],"corresponding_institution_ids":["https://openalex.org/I76130692"],"apc_list":null,"apc_paid":null,"fwci":1.3925,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.83850932,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"34","issue":"2","first_page":"1","last_page":"40"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9988999962806702,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.996999979019165,"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.8299078941345215},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.6206245422363281},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.587404191493988},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5015816688537598},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10624170303344727},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.09271833300590515}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8299078941345215},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6206245422363281},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.587404191493988},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5015816688537598},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10624170303344727},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.09271833300590515},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3696000","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3696000","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1047518467","display_name":null,"funder_award_id":"#U2341212, #62132014","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":50,"referenced_works":["https://openalex.org/W146493892","https://openalex.org/W155718886","https://openalex.org/W1491229276","https://openalex.org/W1511826042","https://openalex.org/W1568396250","https://openalex.org/W1969064066","https://openalex.org/W2013375900","https://openalex.org/W2015640848","https://openalex.org/W2062987337","https://openalex.org/W2069633766","https://openalex.org/W2082036516","https://openalex.org/W2101432564","https://openalex.org/W2117802778","https://openalex.org/W2125614702","https://openalex.org/W2126823808","https://openalex.org/W2162604396","https://openalex.org/W2176417916","https://openalex.org/W2294683416","https://openalex.org/W2412857152","https://openalex.org/W2535818195","https://openalex.org/W2745596646","https://openalex.org/W2781213257","https://openalex.org/W2791161457","https://openalex.org/W2792028277","https://openalex.org/W2794506834","https://openalex.org/W2810392824","https://openalex.org/W2955008836","https://openalex.org/W2997998108","https://openalex.org/W3021035844","https://openalex.org/W3082019786","https://openalex.org/W3083978427","https://openalex.org/W3095449116","https://openalex.org/W3101627445","https://openalex.org/W3111118845","https://openalex.org/W3155827311","https://openalex.org/W3157277427","https://openalex.org/W3164004581","https://openalex.org/W3196878016","https://openalex.org/W3205508149","https://openalex.org/W3217694117","https://openalex.org/W4220698851","https://openalex.org/W4229772528","https://openalex.org/W4245743185","https://openalex.org/W4250020452","https://openalex.org/W4250349204","https://openalex.org/W4284687577","https://openalex.org/W4289874447","https://openalex.org/W4291213652","https://openalex.org/W6638662023","https://openalex.org/W6740325252"],"related_works":["https://openalex.org/W2364400229","https://openalex.org/W2157133118","https://openalex.org/W2159183434","https://openalex.org/W2178641308","https://openalex.org/W2083001816","https://openalex.org/W2381039361","https://openalex.org/W2367221173","https://openalex.org/W2351484374","https://openalex.org/W2013587113","https://openalex.org/W2168204328"],"abstract_inverted_index":{"Complex":[0],"safety-critical":[1],"systems":[2],"require":[3],"multiple":[4],"models":[5],"for":[6,50,66,105,120,155],"a":[7,45,57,63,113,133,149],"comprehensive":[8],"description,":[9],"resulting":[10],"in":[11,147,162,171],"error-prone":[12],"development":[13,164],"and":[14,101,123,153],"laborious":[15],"verification.":[16,124],"Bidirectional":[17],"transformation":[18,48],"(BX)":[19],"is":[20],"an":[21,159],"approach":[22],"to":[23,35,78,89,111,167],"automatically":[24],"synchronizing":[25],"these":[26,37],"models.":[27],"However,":[28],"existing":[29,137],"BX":[30,60,68,81,138,150,163],"frameworks":[31],"lack":[32],"formal":[33,46,80,114],"verification":[34],"enforce":[36],"models\u2019":[38],"consistency":[39,121],"rigorously.":[40],"This":[41],"paper":[42],"introduces":[43],"KBX,":[44,130],"bidirectional":[47],"framework":[49],"verified":[51],"model":[52],"synchronization.":[53,106],"First,":[54],"we":[55,75,108,131,141],"present":[56],"matching":[58],"logic-based":[59],"model,":[61],"providing":[62],"logical":[64],"foundation":[65],"constructing":[67,148],"definitions":[69,82,95,119],"within":[70],"the":[71,93,98,117,127,143],"\\(\\mathbb{K}\\)":[72,110,172],"framework.":[73],"Second,":[74],"propose":[76],"algorithms":[77],"synthesize":[79],"from":[83,116],"unidirectional":[84,94],"ones,":[85],"which":[86],"allows":[87],"developers":[88],"focus":[90],"on":[91],"crafting":[92],"while":[96],"disregarding":[97],"reverse":[99],"direction":[100],"missing":[102],"information":[103],"recovery":[104],"Afterward,":[107],"harness":[109],"generate":[112],"synchronizer":[115],"synthesized":[118],"maintenance":[122],"To":[125],"evaluate":[126],"effectiveness":[128],"of":[129,145],"conduct":[132],"comparative":[134],"analysis":[135],"against":[136],"frameworks.":[139],"Furthermore,":[140],"demonstrate":[142],"application":[144],"KBX":[146],"between":[151],"UML":[152],"HCSP":[154],"real-world":[156],"scenarios,":[157],"showcasing":[158],"72%":[160],"reduction":[161],"effort":[165],"compared":[166],"manual":[168],"specification":[169],"writing":[170],".":[173]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2025-12-19T19:40:27.379048","created_date":"2025-10-10T00:00:00"}