 ;

Various transformation properties for ensuring OT system correctness have been identified.These properties can be maintained by either the transformation control algorithm or by the transformation functions.Different OT system designs have different division of responsibilities among these components.