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. ISSN 1947-3532


Collaboration on documents has been supported for several decades through a variety of systems and tools;
recently a renewed interest is apparent through the appearance of new collaborative editors and applications.
Some 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 existing techniques have their drawbacks, creating opportunities for new methods. The authors
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
a strict form of concurrency control is required. While the approach of presentation in this article is highly
formal with an emphasis on proving desirable properties such as guaranteed correctness, the work is part of
a project which aims to fully implement the technique.

Statistics for USQ ePrint 20546
Statistics for this ePrint Item
Item Type: Article (Commonwealth Reporting Category C)
Refereed: Yes
Item Status: Live Archive
Additional Information: Permanent restricted access to paper due to publisher copyright restrictions.
Faculty / Department / School: Historic - Faculty of Sciences - Department of Maths and Computing
Date Deposited: 04 Feb 2012 02:30
Last Modified: 26 Sep 2017 05:39
Uncontrolled Keywords: Collaborative Editing, Distributed Computing, Locking, Serializability, Transactions and Scheduling
Fields of Research : 08 Information and Computing Sciences > 0805 Distributed Computing > 080501 Distributed and Grid Systems
Socio-Economic Objective: E Expanding Knowledge > 97 Expanding Knowledge > 970108 Expanding Knowledge in the Information and Computing Sciences
Identification Number or DOI: 10.4018/jdst.2011100102

Actions (login required)

View Item Archive Repository Staff Only