Please use this identifier to cite or link to this item:
Title: Design and implementation of software tools for property verification in operational transformation
Authors: Luo, Jianlin
Keywords: DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity
Issue Date: 2014
Abstract: Operational Transformation (OT) as a real-time collaborative computing technology has been extensively studied over the past two decades. One of the aspects that has not been fully explored is the correctness of those OT systems whose operation model consists of string-wise primitive operations. To detect and resolve puzzles – subtle and characteristic collaborative editing scenarios in which an OT system may fail, in this project we devised a verification system that can independently and exhaustively cover all possible transformation cases in which puzzles may exist. This particular software tool will also be able to verify the soundness of customized string-wise transformation functions. This report will present the design and development of the integrated verification software tool to verify Union-Effect Convergence Property 1 (CP1), Convergence Property 2 (CP2), Inverse Property 2 (IP2) and Inverse Property 3 (IP3) for string-wise operational model. It will also discuss the intricate issues faced in the development process and the algorithms implemented to tackle them. Lastly, this report will also present the experiments conducted using this integrated verification tool, particularly the compliance of attempted customized transformation matrices with the listed transformation properties. The verification results are listed and analyzed.
Rights: Nanyang Technological University
Fulltext Permission: restricted
Fulltext Availability: With Fulltext
Appears in Collections:SCSE Student Reports (FYP/IA/PA/PI)

Files in This Item:
File Description SizeFormat 
FYP Amended Fianl Report - Luo Jianlin.pdf
  Restricted Access
2.34 MBAdobe PDFView/Open

Page view(s)

checked on Sep 28, 2020


checked on Sep 28, 2020

Google ScholarTM


Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.