L'integrazione di un algoritmo di Operational Transformation in un editor strutturato.

Nei sistemi di editing collaborativo Real-Time più utenti si trovano ad apportare modifiche ad uno stesso documento contemporaneamente. Queste modifiche, a volte, possono riguardare la stessa porzione di testo ed entrare in conflitto tra di loro. La gestione di questi conflitti tra operazioni concorrenti rappresenta un problema di cruciale importanza in quanto, se affrontato inadeguatamente, può portare a stati incoerenti del modello di dati condiviso tra gli utenti connessi al sistema. Operational Transformation è una tecnologia che permette la risoluzione di conflitti in ambienti di collaborazione real-time per l’editing di documenti testuali, proponendo una serie di metodologie e proprietà che permettono di risolvere queste problematiche in maniera efficiente senza appesantire troppo il sistema. Un ulteriore grado di complessità si aggiunge quando si parla di editor strutturati. In questi sistemi, infatti, le operazioni non riguardano solo il contenuto testuale, ma anche elementi di layout, dimensioni dei caratteri e metadati. Più modifiche possono essere apportate contemporaneamente dallo stesso sistema, assumendo un significato semanticamente più complesso di una semplice operazione di cancellazione o di inserimento di testo. Per questo motivo, dopo l'approfondimento degli aspetti teorici di OT, mi sono cimentato nella realizzazione di un algoritmo di Operational Transformation in un editor strutturato.