Selectivity cancelling method based on operating effect relation

A selective and relational technology, applied in the field of selective revocation based on the operation effect relationship, can solve problems such as unpredictable system behavior and different execution effects, and achieve the effect of consistency maintenance

Inactive Publication Date: 2010-10-06
FUDAN UNIV
View PDF2 Cites 12 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Otherwise, the Undo request may have different execution effe

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Selectivity cancelling method based on operating effect relation
  • Selectivity cancelling method based on operating effect relation
  • Selectivity cancelling method based on operating effect relation

Examples

Experimental program
Comparison scheme
Effect test

example 1

[0086] Example 1: Given a document state "a", first perform the operations o1 = del(0, a) and o2 = ins(0, b), where o1 → o2. Then, Undo operates o1.

[0087] After performing operations o1 and o2, the operation log H = [o1, o2] = [del(0, a), ins(0, b)], where o1 = e o2. The inverse operation o1=ins(0,a) of operation o1. After executing o1, the document status is correctly updated to "ab". This example does not involve remote operation. After the operation is executed, thread L will call algorithm 3 (integrateL) to add the inverse operation of o1 to the operation log in order of operation effect, and the operation log is updated to [del(0, a), ins(0, a), ins(1, b)].

example 2

[0088] Example 2: Given a document state "a", first two concurrent operations o1 = del(0, a) and o2 = ins(0, b) are performed. Then, Undo operates o1.

[0089] Since the conditions o1||o2 and o2

example 3

[0090] Example 3: Given a document state "ab", first perform two operations o1=del(0,a) and o2=del(0,b) that satisfy the o1→o2 condition. Then, two users concurrently undo and operate o1 and o2 respectively, that is, undo(o1)||undo(o2).

[0091] After executing operations o1 and o2, the operation log is [del(0, a), del(0, b)]. Depending on the order in which undo is executed, there are two cases to consider.

[0092] (1) undo(o1) is executed before undo(o2): after the inverse operation of o1 is performed, the document status and operation log are "a" and [del(0, a), ins(0, a), del( 1, b)]. At this time, the Undo operation o2 is performed by performing the inverse operation ins(1, b) of o2. The final document status and operation log are "ab" and [del(0, a), ins(0, a), del(1, b), ins(1, b)] respectively.

[0093] (2) undo(o2) is executed before undo(o1): after executing the inverse operation ins(0, b) of o2, the document status and operation log are [del(0, a), del(0, b), ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention belongs to the technical field of computer supported cooperative work, in particular to a selectivity cancelling method based on an operating effect relation, which comprises the following steps of: tracking of Do-Undo relation among operations, control algorithm of programs, local Do/Undo operation processing, remote Do/Undo operation process, local operation integration and remote operation integration. The Undo is one of important functions indispensable for distributive interactive cooperation application programs. The invention can support any operation in a process of cancelling operation logs by a user, and realizes consistence maintenance of data among the users.

Description

technical field [0001] The invention belongs to the technical field of computer support cooperative work (Computer Support Cooperative Work), and in particular relates to a selective undo method based on the relationship between operation effects, which enables users to arbitrarily undo the operations in the operation log in the distributed collaborative application program. any historical operations. The present invention utilizes the operation effect relationship between operations to automatically process the complex Do-Undo relationship between user operations, and realizes the consistency maintenance of data among various collaborative sites. Background technique [0002] Undo is one of the essential features for interactive applications. Many daily single-user applications, including text editors, programming software, design tools, Web browsers, etc., allow users to undo several recent historical operations in chronological order. Undo is usually used for user-level...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F11/34
Inventor 邵斌李杜顾宁
Owner FUDAN UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products