{"id":"https://openalex.org/W35165156","doi":null,"title":"Piecemeal: a formal collaborative editing technique guaranteeing correctness","display_name":"Piecemeal: a formal collaborative editing technique guaranteeing correctness","publication_year":2010,"publication_date":"2010-07-26","ids":{"openalex":"https://openalex.org/W35165156","mag":"35165156"},"language":"en","primary_location":{"id":"pmh:oai:eprints.usq.edu.au:8560","doi":null,"is_oa":true,"landing_page_url":"http://eprints.usq.edu.au/8560/5/Dekeyser_Hidders_IADIS-DH_2010_PV.pdf","pdf_url":"http://eprints.usq.edu.au/8560/5/Dekeyser_Hidders_IADIS-DH_2010_PV.pdf","source":{"id":"https://openalex.org/S4306400692","display_name":"University of Southern Queensland ePrints (University of Southern Queensland)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I185523456","host_organization_name":"University of Southern Queensland","host_organization_lineage":["https://openalex.org/I185523456"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item (Commonwealth Reporting Category E)"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://eprints.usq.edu.au/8560/5/Dekeyser_Hidders_IADIS-DH_2010_PV.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044570142","display_name":"Stijn Dekeyser","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I185523456","display_name":"University of Southern Queensland","ror":"https://ror.org/04sjbnx57","country_code":"AU","type":"education","lineage":["https://openalex.org/I185523456"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Stijn Dekeyser","raw_affiliation_strings":["[University of Southern Queensland]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"[University of Southern Queensland]","institution_ids":["https://openalex.org/I185523456"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068967246","display_name":"Jan Hidders","orcid":"https://orcid.org/0000-0002-8865-4329","observed_orcids":["https://orcid.org/0000-0002-8865-4329"]},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jan Hidders","raw_affiliation_strings":["Delft University of Technology,,,,,"],"raw_orcid":"https://orcid.org/0000-0002-8865-4329","affiliations":[{"raw_affiliation_string":"Delft University of Technology,,,,,","institution_ids":["https://openalex.org/I98358874"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8146,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.78429778,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"125","last_page":"131"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9945999979972839,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9945999979972839,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.002199999988079071,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.0005000000237487257,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/collaborative-editing","display_name":"collaborative editing","score":0.824999988079071},{"id":"https://openalex.org/keywords/document-editing","display_name":"document editing","score":0.4819999933242798},{"id":"https://openalex.org/keywords/distributed-groupware","display_name":"distributed groupware","score":0.7110000252723694},{"id":"https://openalex.org/keywords/conflict-resolution","display_name":"conflict resolution","score":0.5669999718666077},{"id":"https://openalex.org/keywords/schedulers","display_name":"schedulers","score":0.5730000138282776},{"id":"https://openalex.org/keywords/locks","display_name":"locks","score":0.7870000004768372},{"id":"https://openalex.org/keywords/correctness-guarantees","display_name":"correctness guarantees","score":0.7329999804496765},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.6190000176429749},{"id":"https://openalex.org/keywords/operational-transformation","display_name":"operational transformation","score":0.5600000023841858},{"id":"https://openalex.org/keywords/version-control","display_name":"version control","score":0.6299999952316284}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8270226716995239},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8049603700637817},{"id":"https://openalex.org/C2780967703","wikidata":"https://www.wikidata.org/wiki/Q2571389","display_name":"Collaborative editing","level":2,"score":0.721382200717926},{"id":"https://openalex.org/C554579003","wikidata":"https://www.wikidata.org/wiki/Q474157","display_name":"Collaborative software","level":2,"score":0.5992691516876221},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5734806060791016},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.47597044706344604},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4445617198944092},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3513932526111603},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23070776462554932},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14690282940864563}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:eprints.usq.edu.au:8560","doi":null,"is_oa":true,"landing_page_url":"http://eprints.usq.edu.au/8560/5/Dekeyser_Hidders_IADIS-DH_2010_PV.pdf","pdf_url":"http://eprints.usq.edu.au/8560/5/Dekeyser_Hidders_IADIS-DH_2010_PV.pdf","source":{"id":"https://openalex.org/S4306400692","display_name":"University of Southern Queensland ePrints (University of Southern Queensland)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I185523456","host_organization_name":"University of Southern Queensland","host_organization_lineage":["https://openalex.org/I185523456"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item (Commonwealth Reporting Category E)"},{"id":"mag:35165156","doi":null,"is_oa":false,"landing_page_url":"http://eprints.usq.edu.au/8560/","pdf_url":null,"source":{"id":"https://openalex.org/S4306421168","display_name":"Web Based Communities","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Web Based Communities","raw_type":null}],"best_oa_location":{"id":"pmh:oai:eprints.usq.edu.au:8560","doi":null,"is_oa":true,"landing_page_url":"http://eprints.usq.edu.au/8560/5/Dekeyser_Hidders_IADIS-DH_2010_PV.pdf","pdf_url":"http://eprints.usq.edu.au/8560/5/Dekeyser_Hidders_IADIS-DH_2010_PV.pdf","source":{"id":"https://openalex.org/S4306400692","display_name":"University of Southern Queensland ePrints (University of Southern Queensland)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I185523456","host_organization_name":"University of Southern Queensland","host_organization_lineage":["https://openalex.org/I185523456"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item (Commonwealth Reporting Category E)"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W35165156.pdf","grobid_xml":"https://content.openalex.org/works/W35165156.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W1563084462","https://openalex.org/W1586600547","https://openalex.org/W1996958808","https://openalex.org/W2007046992","https://openalex.org/W2007144560","https://openalex.org/W2015167470","https://openalex.org/W2015669758","https://openalex.org/W2079487793","https://openalex.org/W2088721436","https://openalex.org/W2114887779","https://openalex.org/W2145220267","https://openalex.org/W2147720564","https://openalex.org/W2151541805"],"related_works":["https://openalex.org/W2037955675","https://openalex.org/W2079314082","https://openalex.org/W2500797504","https://openalex.org/W7097176604","https://openalex.org/W7096506273","https://openalex.org/W2115566268","https://openalex.org/W3046940305","https://openalex.org/W2980060033","https://openalex.org/W126720585","https://openalex.org/W2116276287"],"abstract_inverted_index":{"While":[0,135],"collaboration":[1],"on":[2,63,107,144],"documents":[3,103],"has":[4],"been":[5],"supported":[6],"for":[7,42,90,102],"several":[8],"decades":[9],"by":[10],"a":[11,20,49,98,157],"variety":[12],"of":[13,28,35,55,59,156],"systems":[14,39,60],"and":[15,32,74,111],"tools,":[16],"in":[17,126],"recent":[18],"months":[19],"renewed":[21],"interest":[22],"is":[23,105,114,138,154],"apparent":[24],"through":[25],"the":[26,56,130,152],"appearance":[27],"new":[29,57,91],"collaborative":[30,100],"editors":[31],"applications.":[33],"Some":[34],"these":[36],"distributed":[37],"groupware":[38],"are":[40,61,68,132],"plug-ins":[41],"standalone":[43],"word":[44],"processors,":[45],"while":[46],"others":[47,76],"have":[48,84],"purely":[50],"web-based":[51],"existence.":[52],"Most":[53],"exemplars":[54],"breed":[58],"based":[62,106],"Operational":[64],"Transformations,":[65],"although":[66],"some":[67],"using":[69],"traditional":[70],"version":[71],"management":[72],"tools":[73],"still":[75],"utilize":[77],"document-level":[78],"locking":[79],"techniques.":[80],"\\nAll":[81],"current":[82],"techniques":[83],"their":[85],"own":[86],"drawbacks,":[87],"creating":[88],"opportunities":[89],"methods.":[92],"In":[93],"this":[94],"paper":[95],"we":[96],"present":[97],"novel":[99],"technique":[101],"which":[104,161],"transactions,":[108],"schedulers,":[109],"conflicts":[110],"locks.":[112],"It":[113],"not":[115],"meant":[116],"to":[117,163],"replace":[118],"existing":[119],"techniques;":[120],"rather,":[121],"it":[122],"can":[123],"be":[124],"used":[125],"specific":[127],"situations":[128],"where":[129],"alternatives":[131],"less":[133],"attractive.":[134],"our":[136,166],"approach":[137],"highly":[139],"formal":[140],"with":[141],"an":[142],"emphasis":[143],"proving":[145],"desirable":[146],"properties":[147],"such":[148],"as":[149],"guaranteed":[150],"correctness,":[151],"work":[153],"part":[155],"university-industry":[158],"linkage":[159],"project":[160],"aims":[162],"fully":[164],"implement":[165],"technique.":[167]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-08-29T07:29:34.045763","created_date":"2016-06-24T00:00:00"}