Piecemeal: a formal collaborative editing technique guaranteeing correctness

Paper

Dekeyser, Stijn and Hidders, Jan. 2010. "Piecemeal: a formal collaborative editing technique guaranteeing correctness." Bessis, Nik, Kommers, Piet and Isaias, Pedro (ed.) IADIS International Conference on Collaborative Technologies 2010 (IADIS 2010). Freiburg, Germany 26 - 31 Jul 2010 Germany.
Paper/Presentation Title

Piecemeal: a formal collaborative editing technique guaranteeing correctness

Presentation TypePaper
AuthorsDekeyser, Stijn (Author) and Hidders, Jan (Author)
EditorsBessis, Nik, Kommers, Piet and Isaias, Pedro
Journal or Proceedings TitleProceedings of the IADIS International Conference on Collaborative Technologies 2010 (IADIS 2010)
Number of Pages7
Year2010
Place of PublicationGermany
ISBN9789728939212
Conference/EventIADIS International Conference on Collaborative Technologies 2010 (IADIS 2010)
Event Details
IADIS International Conference on Collaborative Technologies 2010 (IADIS 2010)
Event Date
26 to end of 31 Jul 2010
Event Location
Freiburg, Germany
Abstract

While collaboration on documents has been supported for several decades by a variety of systems and tools, in recent months a renewed interest is apparent through the appearance of new collaborative editors and applications. Some of these distributed groupware systems are plug-ins for standalone word processors, while others have a purely web-based existence. Most exemplars of the new breed of systems are based on Operational Transformations, although some are using traditional version management tools and still others utilize document-level locking techniques. All current techniques have their own drawbacks, creating opportunities for new methods. In this paper we present a novel collaborative technique for documents which is based on transactions, schedulers, conflicts and locks. It is not meant to replace existing techniques; rather, it can be used in specific situations where the alternatives are less attractive. While our approach is highly formal with an emphasis on proving desirable properties such as guaranteed correctness, the work is part of a university-industry linkage project which aims to fully implement our technique.

Keywordsdocument collaboration; concurrency control; locking; scheduler; groupware; operational transformation
Contains Sensitive ContentDoes not contain sensitive content
ANZSRC Field of Research 2020460699. Distributed computing and systems software not elsewhere classified
460507. Information extraction and fusion
469999. Other information and computing sciences not elsewhere classified
Public Notes

File reproduced in accordance with the copyright policy of the publisher/author.

Byline AffiliationsDepartment of Mathematics and Computing
University of Antwerp, Belgium
Permalink -

https://research.usq.edu.au/item/q000z/piecemeal-a-formal-collaborative-editing-technique-guaranteeing-correctness

Log in to edit

Download files

Published Version
Dekeyser_Hidders_IADIS-DH_2010_PV.pdf
File access level: Anyone

  • 2010
    total views
  • 254
    total downloads
  • 4
    views this month
  • 2
    downloads this month

Export as

Related outputs

Tree shade within urban parks and nature strips: standards and perspectives from measurement campaigns conducted in Queensland
Downs, Nathan, Antrobus, Jodie, Dekeyser, Stijn, Butler, Harry, Downs, Melanie, Hickmott, Darren, Madigan, Chris, Brown, Alexandra, Amar, Abdurazaq, Dearnaley, John, Parisi, Alfio V, Vanos, Jennifer, Raj, Nawin, Harrison, Simone and Igoe, Damien. 2024. "Tree shade within urban parks and nature strips: standards and perspectives from measurement campaigns conducted in Queensland ." 6th International conference UV and Skin Cancer Prevention. Brisbane, Australia 11 - 15 Sep 2024 Australia.
Blockchain Enabled Secure Data Transmission With NB-IoT Deployment in Smart Agriculture Crop Watch
Mohammed, Chand Pasha, Chopra, Shakti Raj, Albadri, Nehad, Dekeyser, Stijn, Jha, Sudan, Roy, Ajay and Pradhan, Nihar Ranjan. 2024. "Blockchain Enabled Secure Data Transmission With NB-IoT Deployment in Smart Agriculture Crop Watch." Internet Technology Letters. https://doi.org/10.1002/itl2.596
Ultraviolet radiation thin film dosimetry: A review of properties and applications
Parisi, Alfio V., Downs, Nathan J., Schouten, Peter, Igoe, Damien P., Turner, Joanna, Amar, Abdurazaq, Wainwright, Lisa, Dawes, Adrian, Butler, Harry and Dekeyser, Stijn. 2024. "Ultraviolet radiation thin film dosimetry: A review of properties and applications." Photochemistry and Photobiology. https://doi.org/10.1111/php.14022
A playground shade index for standardising ultraviolet protection assessments of open, mixed and protected outdoor recreational spaces
Downs, Nathan, Butler, Harry, Dexter, Benjamin, Raj, Nawin, Downs, Melanie, Turner, Joanna, Dekeyser, Stijn, Deo, Ravinesh, Vanos, Jennifer, Igoe, Damien and Parisi, Alfio V. 2024. "A playground shade index for standardising ultraviolet protection assessments of open, mixed and protected outdoor recreational spaces." 6th International conference UV and Skin Cancer Prevention. Brisbane, Australia 11 - 15 Sep 2024 Australia.
The mitigating effect of street trees, urban flora, and the suburban environment on seasonal peak UV indices: A case study from Brisbane, Australia
Downs, Nathan James, Amar, Abdurazaq, Dearnaley, John, Butler, Harry, Dekeyser, Stijn, Igoe, Damien, Parisi, Alfio V., Raj, Nawin, Deo, Ravinesh and Turner, Joanna. 2024. "The mitigating effect of street trees, urban flora, and the suburban environment on seasonal peak UV indices: A case study from Brisbane, Australia." Photochemistry and Photobiology. https://doi.org/10.1111/php.13988
A legacy of more than two decades of UV radiation measurement studies at the University of Southern Queensland
Amar, Abdurazaq, Parisi, Alfio, Downs, Nathan, Turner, Joanna, Igoe, Damien, Butler, Harry and Dekeyser, Stijn. 2024. "A legacy of more than two decades of UV radiation measurement studies at the University of Southern Queensland." 6th International conference UV and Skin Cancer Prevention. Brisbane, Australia 11 - 15 Sep 2024 Australia.
The Playground Shade Index: A New Design Metric for Measuring Shade and Seasonal Ultraviolet Protection Characteristics of Parks and Playgrounds
Downs, Nathan, Raj, Nawin, Vanos, Jennifer, Parisi, Alfio, Butler, Harry, Deo, Ravinesh, Igoe, Damien, Dexter, Benjamin, Beckman-Downs, Melanie, Turner, Joanna and Dekeyser, Stijn. 2023. "The Playground Shade Index: A New Design Metric for Measuring Shade and Seasonal Ultraviolet Protection Characteristics of Parks and Playgrounds." Photochemistry and Photobiology. 99 (4), pp. 1193-1207. https://doi.org/10.1111/php.13745
A novel file system supporting rich file classification
Albadri, Nehad and Dekeyser, Stijn. 2022. "A novel file system supporting rich file classification." Computers and Electrical Engineering. 103, pp. 1-9. https://doi.org/10.1016/j.compeleceng.2022.108081
VennTags: A file management system based on overlapping sets of tags
Albadri, Nehad, Dekeyser, Stijn and Watson, Richard. 2017. "VennTags: A file management system based on overlapping sets of tags." Sterzer, Wjatscheslaw and van de Sandt, Stephanie (ed.) iConference 2017 Effect, Expand, Evolve: Global Collaboration Across the Information Community. Wuhan, China 22 - 25 Mar 2017 United States. https://doi.org/10.9776/17002
Exploring the design space of metadata-focused file management systems
Watson, Richard, Dekeyser, Stijn and Albadri, Nehad. 2017. "Exploring the design space of metadata-focused file management systems." Australasian Computer Science Week 2017 (ACSW 2017). Geelong, Australia 31 Jan - 03 Feb 2017 New York, United States. https://doi.org/10.1145/3014812.3014833
Instance independent concurrency control for semistructured databases
Dekeyser, Stijn, Hidders, Jan and Paredaens, Jan. 2003. "Instance independent concurrency control for semistructured databases." Flesca, Sergio and Sacca, Domenico (ed.) 11th Italian Symposium on Advanced Database Systems. Cetraro, Italy 24 - 27 Jun 2003
Guaranteeing correctness for collaboration on documents using an optimal locking protocol
Dekeyser, Stijn and Hidders, Jan. 2011. "Guaranteeing correctness for collaboration on documents using an optimal locking protocol." International Journal of Distributed Systems and Technologies. 2 (4), pp. 17-29. https://doi.org/10.4018/jdst.2011100102
TreeTags: bringing tags to the hierarchical file system
Albadri, Nehad, Watson, Richard and Dekeyser, Stijn. 2016. "TreeTags: bringing tags to the hierarchical file system." 2016 Australasian Computer Science Week Multiconference (ACSW '16). Canberra, Australia 02 - 05 Feb 2016 United States. https://doi.org/10.1145/2843043.2843868
Comparing academic workload models: how Australian universities resource teaching activities
Dekeyser, Stijn, Watson, Richard and Bare, Elizabeth. 2016. "Comparing academic workload models: how Australian universities resource teaching activities." Dobson, Ian R. and Sharma, Raj (ed.) Tertiary Education and Management Conference 2016: From Rhetoric to Reality (TEMC 2016). Auckland, New Zealand 11 - 14 Sep 2016 Australia.
Current practice in academic workload allocation processes in Australia
Watson, Richard, King, Rachel, Dekeyser, Stijn, Bare, Liz and Baldock, Clive. 2015. "Current practice in academic workload allocation processes in Australia." Dobson, Ian R. and Sharma, Raj (ed.) Tertiary Education and Management Conference 2015: Leading Locally Competing Globally (TEMC 2015). Wollongong, Australia 30 Aug - 02 Sep 2015 Australia.
How do students use their mobile devices to support learning? A case study from an Australian regional university
Farley, Helen, Murphy, Angela, Johnson, Chris, Carter, Brad, Lane, Michael, Midgley, Warren, Hafeez-Baig, Abdul, Dekeyser, Stijn and Koronios, Andy. 2015. "How do students use their mobile devices to support learning? A case study from an Australian regional university." Journal of Interactive Media in Education. 15 (1), pp. 1-13. https://doi.org/10.5334/jime.ar
Designing an academic workload model in the age of blended learning
Dekeyser, Stijn, Watson, Richard and Bare, Elizabeth. 2014. "Designing an academic workload model in the age of blended learning." Dobson, Ian R., Conway, Maree and Sharma, Raj (ed.) Tertiary Education and Management Conference 2014: Rainforest to Reef (TEMC 2014). Cairns, Australia 31 Aug - 03 Sep 2014 Australia.
Listening to the student voice: how are students really using mobile technologies for learning?
Murphy, Angela, Farley, Helen, Johnson, Chris, Lane, Michael, Carter, Brad, Hafeez-Baig, Abdul, Midgley, Warren, Dekeyser, Stijn, Rees, Sharon, Mitchell, Maxine, Doyle, Joanne and Koronios, Andy. 2013. "Listening to the student voice: how are students really using mobile technologies for learning?" Carter, Helen, Gosper, Maree and Hedberg, John (ed.) 30th Annual Conference of the Australasian Society for Computers in Learning in Tertiary Education (ASCILITE 2013). Sydney, Australia 01 - 04 Dec 2013
Metadata manipulation interface design
Dekeyser, Stijn and Watson, Richard. 2013. "Metadata manipulation interface design." Smith, Ross T. and Wunsche, Burkhard C. (ed.) 14th Australasian User Interface Conference (AUIC 2013): User Interfaces 2013. Adelaide, Australia 29 Jan - 01 Feb 2013 Sydney, Australia.
Five examples of web-services for illustrating requirements for security architecture
Addie, Ronald G., Moffatt, Sam, Dekeyser, Stijn and Colman, Alan. 2011. "Five examples of web-services for illustrating requirements for security architecture." Zhang, Ji and Livraga, Giovanni (ed.) 2nd International Conference on Data and Knowledge Engineering (ICDKE 2011). Milan, Italy 06 - 08 Sep 2011 Piscataway, NJ. United States. https://doi.org/10.1109/ICDKE.2011.6053929
DISTRO: a system for detecting global outliers from distributed data streams with privacy protection
Zhang, Ji, Dekeyser, Stijn, Wang, Hua and Shu, Yanfeng. 2010. "DISTRO: a system for detecting global outliers from distributed data streams with privacy protection." Kitagawa, Hiroyuki, Ishikawa, Yoshiharu, Li, Qing and Watanabe, Chiemi (ed.) DASFAA 2010: 15th International Conference on Database Systems for Advanced Applications. Tsukuba, Japan 01 - 04 Apr 2010 Germany. Springer. https://doi.org/10.1007/978-3-642-12098-5_54
A transaction model for XML databases
Dekeyser, Stijn, Hidders, Jan and Paredaens, Jan. 2004. "A transaction model for XML databases." World Wide Web. 7 (1), pp. 29-57. https://doi.org/10.1023/B:WWWJ.0000015864.75561.98
A commit scheduler for XML databases
Dekeyser, Stijn and Hidders, Jan. 2003. "A commit scheduler for XML databases." Xiaofang, Zhou, Zhang, Yanchun and Orlowska, Maria E. (ed.) 5th Asia-Pacific Web Conference (APWeb 2003): Web Technologies and Applications. Xian, China 23 - 25 Apr 2003 China. Springer. https://doi.org/10.1007/3-540-36901-5_8
A simple time-management tool for students' online learning activities
de Raadt, Michael and Dekeyser, Stijn. 2009. "A simple time-management tool for students' online learning activities." Atkinson, Roger J. and McBeath, Clare (ed.) 26th Annual Conference of the Australasian Society for Computers in Learning in Tertiary Education (ASCILITE 2009). Auckland, New Zealand 06 - 09 Dec 2009 Auckland, New Zealand.
A system employing peer review and enhanced computer assisted assessment of querying skills
de Raadt, Michael, Dekeyser, Stijn and Lee, Tien Y.. 2007. "A system employing peer review and enhanced computer assisted assessment of querying skills." Informatics in Education. 6 (1), pp. 163-178.
Do students SQLify?: improving learning outcomes with peer review and enhanced computer assisted assessment of querying skills
de Raadt, Michael, Dekeyser, Stijn and Lee, Tien Yu. 2006. "Do students SQLify?: improving learning outcomes with peer review and enhanced computer assisted assessment of querying skills." Berglund, Anders and Wiggberg, Mattias (ed.) 6th Baltic Sea Conference on Computing Education Research (Koli Calling 2006). Koli, Finland 09 - 12 Nov 2006 Sweden. https://doi.org/10.1145/1315803.1315821
Analyzing workflows implied by instance-dependent access rules
Calders, Toon, Dekeyser, Stijn, Hidders, Jan and Paredaens, Jan. 2006. "Analyzing workflows implied by instance-dependent access rules." 2006 ACM SIGMOD/PODS Conference. Chicago, United States of America 26 - 29 Jun 2006 United States. https://doi.org/10.1145/1142351.1142365
A framework for role-based group delegation in distributed environments
Wang, Hua, Li, Jiuyong, Addie, Ron, Dekeyser, Stijn and Watson, Richard. 2006. "A framework for role-based group delegation in distributed environments." Estivill-Castro, Vladimir and Dobbie, Gillian (ed.) 29th Australasian Computer Science Conference (ACSC 2006). Hobart, Australia 16 - 19 Jan 2006 Australia.
Peer-to-peer form based web information systems
Dekeyser, Stijn, Hidders, Jan, Watson, Richard and Addie, Ron. 2006. "Peer-to-peer form based web information systems." Dobbie, Gillian and Bailey, James (ed.) ADC 2006: 17th Australasian Database Conference. Hobart, Australia 16 - 19 Jan 2006 Australia.
Instance-independent view serializability for semistructured databases
Dekeyser, Stijn, Hidders, Jan, Paredaens, Jan and Vercammen, Roel. 2005. "Instance-independent view serializability for semistructured databases." The Computing Research Repository (CoRR).
A model, schema, and interface for metadata file systems
Dekeyser, Stijn, Watson, Richard and Motroen, Lasse. 2008. "A model, schema, and interface for metadata file systems." Dobbie, Gillian and Mans, Bernard (ed.) ACSC 2008: 31st Australasian Computer Science Conference. Wollongong, Australia 22 - 25 Jan 2008 Wollongong, Australia.
Computer assisted assessment of SQL query skills
Dekeyser, Stijn, de Raadt, Michael and Lee, Tien Yu. 2007. "Computer assisted assessment of SQL query skills." Bailey, James and Fekete, Alan (ed.) 18th Australasian Database Conference (ADC 2007). Ballarat, Australia 29 Jan - 02 Feb 2007 Bedford Park, South Australia.
A metadata collection technique for documents in WinFS
Dekeyser, Stijn. 2005. "A metadata collection technique for documents in WinFS." Kay, Judy, Turpin, Andrew and Wilkinson, Ross (ed.) 10th Australasian Document Computing Symposium (ADCS 2005). Sydney, Australia 12 Dec 2005 Sydney, Australia.