Welcome to the InfoSci Platform
Guaranteeing Correctness for Collaboration on Documents Using an Optimal Locking Protocol

Guaranteeing Correctness for Collaboration on Documents Using an Optimal Locking Protocol

Stijn Dekeyser
Copyright: © 2011 |Volume: 2 |Issue: 4 |Pages: 13
ISSN: 1947-3532|EISSN: 1947-3540|EISBN13: 9781613506646|DOI: 10.4018/jdst.2011100102
Cite Article Cite Article

MLA

Dekeyser, Stijn. "Guaranteeing Correctness for Collaboration on Documents Using an Optimal Locking Protocol." IJDST vol.2, no.4 2011: pp.17-29. http://doi.org/10.4018/jdst.2011100102

APA

Dekeyser, S. (2011). Guaranteeing Correctness for Collaboration on Documents Using an Optimal Locking Protocol. International Journal of Distributed Systems and Technologies (IJDST), 2(4), 17-29. http://doi.org/10.4018/jdst.2011100102

Chicago

Dekeyser, Stijn. "Guaranteeing Correctness for Collaboration on Documents Using an Optimal Locking Protocol," International Journal of Distributed Systems and Technologies (IJDST) 2, no.4: 17-29. http://doi.org/10.4018/jdst.2011100102

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.