期刊名称：International Journal of Computer Technology and Applications
电子版ISSN：2229-6093
出版年度：2013
卷号：4
期号：5
页码：720-726
出版社：Technopark Publications
摘要：Despite the significant progress that has been achieved over the past 15 years, a notable fact in the history of OT [1] is that the discovery and solution of various OT puzzles (i.e., correctness problems in previous OT algorithms) has been a main driver of research. However, the existence of OT puzzles can be largely attributed to the lack of a suitable theoretical framework for guiding the design and verification of OT algorithms. More specifically, the well-established frameworks rely on conditions that are difficult to verify in practice and do not address how to develop correct OT algorithms. In this research , a novel operation transformation framework is developed to overcome the weakness of existing system. The concept “operation effects relation”, defines two criteria, causality preservation and operation effects relation preservation, for verifying the correctness of OT algorithms. The OT framework comes with a practicable approach for developing and proving OT algorithms. In this approach, the sufficient conditions for transformation functions are first identified and a special transformation path is chosen to satisfy those conditions. Thus, the correctness of the whole algorithm is guaranteed
