Slide 22 : Operational Transformation
Operational Transform involves the adjustment (transformation) of parameters of the operation according to changes in its execution context.
This has been an area of research for over 15 years. In the literature many incorrect and inefficient solutions have been published.
The Consistency Model was defined by a group of researchers in Queensland.
The diamond shape depicts operations O1, O2 that are executed at sites 1,2 respectively in state S, leading to divergent states. The operations are sent over the network and are transformed to O1’ and O2’ as required so that both sites converge to the same final state, even though they executed the operations in different orders.
In the literature it is known that transformation properties TP1 and TP2 are required to achieve convergence at quiescence.
A correct implementation of OT is only available in Ceda2.
