Piecemeal: a formal collaborative editing technique guaranteeing correctness

Dekeyser, Stijn and Hidders, Jan (2010) Piecemeal: a formal collaborative editing technique guaranteeing correctness. In: IADIS International Conference on Collaborative Technologies 2010 (IADIS 2010), 26-31 Jul 2010, Freiburg, Germany.

[img]
Preview
PDF (Published Version)
Dekeyser_Hidders_IADIS-DH_2010_PV.pdf

Download (438kB)

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.


Statistics for USQ ePrint 8560
Statistics for this ePrint Item
Item Type: Conference or Workshop Item (Commonwealth Reporting Category E) (Paper)
Refereed: Yes
Item Status: Live Archive
Faculty/School / Institute/Centre: Historic - Faculty of Sciences - Department of Maths and Computing (Up to 30 Jun 2013)
Faculty/School / Institute/Centre: Historic - Faculty of Sciences - Department of Maths and Computing (Up to 30 Jun 2013)
Date Deposited: 18 Dec 2010 12:20
Last Modified: 10 Sep 2014 23:29
Uncontrolled Keywords: document collaboration; concurrency control; locking; scheduler; groupware; operational transformation
Fields of Research (2008): 08 Information and Computing Sciences > 0805 Distributed Computing > 080599 Distributed Computing not elsewhere classified
08 Information and Computing Sciences > 0806 Information Systems > 080612 Interorganisational Information Systems and Web Services
08 Information and Computing Sciences > 0804 Data Format > 080499 Data Format not elsewhere classified
Fields of Research (2020): 46 INFORMATION AND COMPUTING SCIENCES > 4606 Distributed computing and systems software > 460699 Distributed computing and systems software not elsewhere classified
46 INFORMATION AND COMPUTING SCIENCES > 4605 Data management and data science > 460507 Information extraction and fusion
46 INFORMATION AND COMPUTING SCIENCES > 4699 Other information and computing sciences > 469999 Other information and computing sciences not elsewhere classified
Socio-Economic Objectives (2008): B Economic Development > 89 Information and Communication Services > 8902 Computer Software and Services > 890205 Information Processing Services (incl. Data Entry and Capture)
URI: http://eprints.usq.edu.au/id/eprint/8560

Actions (login required)

View Item Archive Repository Staff Only