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.
|HTML Citation||EndNote||Dublin Core||Reference Manager|
Full text available as:
|PDF (Published Version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader|
Official URL: http://www.collaborativetech-conf.org/2010/
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.
|Item Type:||Conference or Workshop Item (Commonwealth Reporting Category E) (Paper)|
|Uncontrolled Keywords:||document collaboration; concurrency control; locking; scheduler; groupware; operational transformation|
|Fields of Research (FOR2008):||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 (SEO2008):||B Ecomonic Development > 89 Information and Communication Services > 8902 Computer Software and Services > 890205 Information Processing Services (incl. Data Entry and Capture)|
|Deposited On:||18 Dec 2010 22:20|
|Last Modified:||23 Apr 2012 11:20|
Archive Staff Only: edit this record