[发明专利]基于操作效果关系的选择性撤销方法

摘要

本发明属于计算机支持的协同工作技术领域，具体是一种基于操作效果关系的选择性撤销方法。包括：操作之间Do-Undo关系的跟踪、程序的控制算法、处理本地Do/Undo操作、处理远程Do/Undo操作、整合本地操作及整合远程操作。Undo是分布式交互协同应用程序不可或缺的重要功能之一。本发明可以支持用户撤消操作日志中的任何操作，在各个用户间实现数据的一致性维护。

主权项

基于操作效果关系的选择性撤销方法，其特征在于利用操作效果序跟踪操作之间的Do-Undo关系，并利用历史操作之间的操作效果关系处理本地和远程的Do/Undo操作；其控制算法包含三个线程L、R和N：线程N用来接收远程操作，线程L和R分别用来处理本地和远程的Do/Undo操作；其中处理本地和远程的Do/Undo操作的算法分别包含两个Do/Undo操作整合过程integrateL和integrateR；整个选择性撤销方法分为两部分：对本地Do/Undo操作的处理和对远程Do/Undo操作的处理；其中：对本地Do/Undo操作的处理流程为：1)若本地操作为Do操作，程序执行本地操作，然后调用integrateL过程将本地Do操作按操作效果序添加到操作日志中；2)若本地操作为Undo操作，根据该操作与其原始操作之间的操作效果序产生该操作的逆操作，记录该操作与其原始操作之间的Do-Undo关系后按照处理Do操作的方式进行整合处理；对远程Do/Undo操作的处理流程为：1)若远程操作为Do操作，调用integrateR过程产生一个可以在当前文档状态正确执行的操作形式，执行该操作并将其添加到操作日志中；2)若远程操作为Undo操作，扫描操作日志来定位其原始操作，如果其原始操作已经被该远程操作的并发操作所撤销，则将该远程操作与其效果等价的并发操作进行合并，否则记录该远程操作与其原始操作之间的Do-Undo关系。然后，按照处理远程Do操作的方式处理该Undo操作。