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.

PDF (Published Version)

Download (427Kb)


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 / Department / School: Historic - Faculty of Sciences - Department of Maths and Computing
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 : 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
Socio-Economic Objective: 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