Интернет магазин китайских планшетных компьютеров

Компьютеры - Операциональное преобразование - Свойства преобразований

Для обеспечения корректности системы ОП определены разные варианты свойств преобразований. Эти свойства могут обслуживаться либо алгоритмом управления преобразования , либо функциями преобразования . Различные конструкции системы ОП имеют разное распределение функций между этими компонентами. Ниже приведены спецификации этих свойств и требуемые ими предварительные условия.

Свойства конвергенции

Иллюстрация свойства TP1

Иллюстрация свойства TP2

Следующие два свойства имеют отношение к достижению конвергенции.

• CP1/TP1: Для каждой пары одновременных операций op₁ и op₂ определённых для одного и того же состояния, функция преобразования T удовлетворяет свойству CP1/TP1 тогда и только тогда, когда: , где означает последовательность операций, содержащей op_i следующей за op_j и где означает эквивалентность двух последовательностей операций. Предварительные условия CP1/TP1: CP1/TP1 требуется только в том случае, если система ОП разрешает любым двух операциям выполняться в разном порядке.
• CP2/TP2: Для каждых трёх одновременных операций op₁,op₂ и op₃ определённых для одного и того же состояния документа, функция преобразования T удовлетворяет свойству CP2/TP2 тогда и только тогда, когда: . CP2/TP2 предусматривает тождество между двумя операциями, преобразованными относительно двух эквивалентных последовательностей операций: преобразование op₃ перед последовательностью операции op₂ следующей за T должно давать такую же операцию, как и преобразование op₃ перед последовательностью, сформированную из op₁ и T. Предварительные условия CP2/TP2: CP2/TP2 требуется только в том случае, если система ОП позволяет двум операциям op₁ и op₂ быть IT-преобразоваными в два разных состояниях документа.

Свойства инверсии

Следующие три свойства имеют отношение к достижению требуемого эффекта групповой отмены. Этими свойствами являются:

• IP1: При любом состоянии документа S и последовательности , мы имеем тождество , которое означает, что последовательность эквивалентна единственной идентичности операции I в том, что касается воздействия на состояние документа. Это свойство требуется в системах ОП для обеспечения корректности эффекта групповой отмены, но не связано с функциями IT.
• IP2: Свойство IP2 выражает то, что последовательность не оказывает никакого влияния на преобразование других операций. Функции преобразования удовлетворяют свойству IP2 тогда и только тогда, когда выполняется тождество , которое означает, что результат преобразования op_x перед последовательностью эквивалентно результату преобразования op_x перед определяющей операцией I. Предварительные условия IP2: IP2 требуется только в случае, если система ОП позволяет операциям op_x быть преобразованными перед парой операций действия и отмены , один за другим.
• IP3: Если заданы две одновременных операции op₁ и op₂, определяемые на одном и том же состоянии документа, тогда и . Функции преобразования удовлетворяют свойству IP3 тогда и только тогда, когда выполняется тождество , которое означает, что преобразованная инверсия операции эквивалентна инверсии преобразованной операции . Предварительные условия IP3: IP3 требуется только в случае, если система ОП позволяет операции инверсии быть преобразованной перед операцией op₂, которая является одновременной и определяется на том же состоянии документа что и op₁.