{"id":"https://openalex.org/W4406793966","doi":"https://doi.org/10.1109/tpds.2025.3533546","title":"A Generic Specification Framework for Weakly Consistent Replicated Data Types","display_name":"A Generic Specification Framework for Weakly Consistent Replicated Data Types","publication_year":2025,"publication_date":"2025-01-24","ids":{"openalex":"https://openalex.org/W4406793966","doi":"https://doi.org/10.1109/tpds.2025.3533546"},"language":"en","primary_location":{"id":"doi:10.1109/tpds.2025.3533546","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2025.3533546","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Parallel and Distributed Systems","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":null,"display_name":"Xue Jiang","orcid":"https://orcid.org/0000-0001-7193-6744"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xue Jiang","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","State Key Laboratory for Novel Software Technology, Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071661810","display_name":"Hengfeng Wei","orcid":"https://orcid.org/0000-0002-0427-9710"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hengfeng Wei","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","State Key Laboratory for Novel Software Technology, Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102718047","display_name":"Yu Huang","orcid":"https://orcid.org/0000-0001-8921-036X"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Huang","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","State Key Laboratory for Novel Software Technology, Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101526503","display_name":"Yuxing Chen","orcid":"https://orcid.org/0000-0002-6220-2535"},"institutions":[{"id":"https://openalex.org/I2250653659","display_name":"Tencent (China)","ror":"https://ror.org/00hhjss72","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250653659"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuxing Chen","raw_affiliation_strings":["Tencent Inc., Shenzhen, China","Tencent Inc., China"],"affiliations":[{"raw_affiliation_string":"Tencent Inc., Shenzhen, China","institution_ids":["https://openalex.org/I2250653659"]},{"raw_affiliation_string":"Tencent Inc., China","institution_ids":["https://openalex.org/I2250653659"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001037413","display_name":"Anqun Pan","orcid":"https://orcid.org/0000-0002-6756-149X"},"institutions":[{"id":"https://openalex.org/I2250653659","display_name":"Tencent (China)","ror":"https://ror.org/00hhjss72","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250653659"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Anqun Pan","raw_affiliation_strings":["Tencent Inc., Shenzhen, China","Tencent Inc., China"],"affiliations":[{"raw_affiliation_string":"Tencent Inc., Shenzhen, China","institution_ids":["https://openalex.org/I2250653659"]},{"raw_affiliation_string":"Tencent Inc., China","institution_ids":["https://openalex.org/I2250653659"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0124032,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"36","issue":"6","first_page":"1338","last_page":"1353"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9958000183105469,"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"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9958000183105469,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9937999844551086,"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.9907000064849854,"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.7853834629058838},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4273201823234558},{"id":"https://openalex.org/keywords/distributed-database","display_name":"Distributed database","score":0.4248195290565491},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3867270350456238},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3340374231338501}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7853834629058838},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4273201823234558},{"id":"https://openalex.org/C70061542","wikidata":"https://www.wikidata.org/wiki/Q989016","display_name":"Distributed database","level":2,"score":0.4248195290565491},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3867270350456238},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3340374231338501}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tpds.2025.3533546","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2025.3533546","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Parallel and Distributed Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8509498950","display_name":null,"funder_award_id":"BK20242014","funder_id":"https://openalex.org/F4320322769","funder_display_name":"Natural Science Foundation of Jiangsu Province"}],"funders":[{"id":"https://openalex.org/F4320322769","display_name":"Natural Science Foundation of Jiangsu Province","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W2013451019","https://openalex.org/W2025301734","https://openalex.org/W2026697016","https://openalex.org/W2054584570","https://openalex.org/W2054739713","https://openalex.org/W2060440626","https://openalex.org/W2095135670","https://openalex.org/W2101939036","https://openalex.org/W2130264930","https://openalex.org/W2144153901","https://openalex.org/W2341655714","https://openalex.org/W2476146301","https://openalex.org/W3098844106","https://openalex.org/W3137220996","https://openalex.org/W4297824651","https://openalex.org/W4301521827","https://openalex.org/W4404987479","https://openalex.org/W6607881844","https://openalex.org/W6631069680","https://openalex.org/W6636010280","https://openalex.org/W6678981369","https://openalex.org/W6681631645","https://openalex.org/W6686717737","https://openalex.org/W6694215593","https://openalex.org/W6695817155","https://openalex.org/W6724746198","https://openalex.org/W6729267822","https://openalex.org/W6756132669","https://openalex.org/W6763854522","https://openalex.org/W6766018100","https://openalex.org/W6857119586","https://openalex.org/W7073611400"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Burckhardt":[0],"et":[1],"al.":[2],"proposed":[3],"a":[4,52,125,156,173],"formal":[5],"specification":[6],"framework":[7,35,98,123],"for":[8,134,168,203,217,240],"eventually":[9,31],"consistent":[10,32,136],"replicated":[11,137],"data":[12,138],"types,":[13],"denoted":[14],"<inline-formula><tex-math":[15,49,95,130,152,171,175,193,211],"notation=\"LaTeX\">$(vis,":[16,96,131],"ar)$</tex-math></inline-formula>,":[17],"based":[18],"on":[19],"the":[20,62,75,94,149,161,189,204,210],"notions":[21],"of":[22,74,78,177,192],"visibility":[23,205],"and":[24,104,115,206,209,238,254],"arbitration":[25,48,150,207],"relations.":[26],"However,":[27],"being":[28],"specific":[29],"to":[30,71,84,102,124,154,166,224,247],"systems,":[33],"this":[34,118,122],"has":[36],"two":[37],"limitations.":[38],"First,":[39],"it":[40,58,85,197],"does":[41,59],"not":[42,60,99,226],"cover":[43,61],"non-convergent":[44,142],"consistency":[45,63,109,143,229,249],"models":[46,64,110,144,230,250],"since":[47],"notation=\"LaTeX\">$ar$</tex-math></inline-formula>":[50,153],"is":[51,69],"total":[53],"order":[54],"over":[55],"events.":[56],"Second,":[57],"in":[65,251],"which":[66],"each":[67,169],"event":[68,170],"required":[70],"be":[72,155,185],"aware":[73],"return":[76,89,182,190],"values":[77,183],"some":[79],"events":[80],"that":[81,235],"are":[82,222,236],"visible":[83,179],"when":[86,187],"justifying":[87,188],"its":[88,178],"value.":[90],"These":[91],"limitations":[92],"make":[93,196],"ar)$</tex-math></inline-formula>":[97],"generic":[100,127],"enough":[101],"specify":[103,141,167,225,248],"reason":[105],"about":[106],"important":[107],"weak":[108],"such":[111],"as":[112,145],"Causal":[113],"Memory":[114],"PRAM.":[116],"In":[117],"article,":[119],"we":[120,147,164,200,221],"extend":[121],"more":[126],"one":[128],"called":[129],"ar,":[132],"V)$</tex-math></inline-formula>":[133],"weakly":[135],"types.":[139],"To":[140,159,195],"well,":[146],"relax":[148],"relation":[151],"partial":[157],"order.":[158],"overcome":[160],"second":[162],"limitation,":[163],"allow":[165],"notation=\"LaTeX\">$e$</tex-math></inline-formula>,":[172],"subset":[174],"notation=\"LaTeX\">$V(e)$</tex-math></inline-formula>":[176],"set":[180],"whose":[181],"cannot":[184],"ignored":[186],"value":[191],"notation=\"LaTeX\">$e$</tex-math></inline-formula>.":[194],"practically":[198],"feasible,":[199],"provide":[201,255],"candidates":[202,216],"relations":[208],"notation=\"LaTeX\">$V$</tex-math></inline-formula>":[212],"function.":[213],"By":[214],"combining":[215],"these":[218],"three":[219,256],"components,":[220],"able":[223],"only":[227],"existing":[228],"but":[231],"also":[232],"new":[233],"ones":[234],"reasonable":[237],"promising":[239],"practical":[241],"usefulness.":[242],"We":[243],"then":[244],"show":[245],"how":[246],"our":[252],"framework,":[253],"case":[257],"studies.":[258]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}