Guaranteeing correctness for collaboration on documents using an optimal locking protocol
Article
Article Title | Guaranteeing correctness for collaboration on documents using an optimal locking protocol |
---|---|
ERA Journal ID | 212900 |
Article Category | Article |
Authors | Dekeyser, Stijn (Author) and Hidders, Jan (Author) |
Journal Title | International Journal of Distributed Systems and Technologies |
Journal Citation | 2 (4), pp. 17-29 |
Number of Pages | 13 |
Year | 2011 |
Publisher | IGI Global |
Place of Publication | United States |
ISSN | 1947-3532 |
1947-3540 | |
Digital Object Identifier (DOI) | https://doi.org/10.4018/jdst.2011100102 |
Web Address (URL) | https://www.igi-global.com/gateway/article/58631 |
Abstract | 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. |
Keywords | Collaborative Editing, Distributed Computing, Locking, Serializability, Transactions and Scheduling |
Contains Sensitive Content | Does not contain sensitive content |
ANZSRC Field of Research 2020 | 460605. Distributed systems and algorithms |
Public Notes | Files associated with this item cannot be displayed due to copyright restrictions. |
Byline Affiliations | Department of Mathematics and Computing |
Delft University of Technology, Netherlands | |
Institution of Origin | University of Southern Queensland |
https://research.usq.edu.au/item/q11yv/guaranteeing-correctness-for-collaboration-on-documents-using-an-optimal-locking-protocol
1801
total views11
total downloads0
views this month0
downloads this month