CN103186383A - 协同设计中维持关联操作语义一致性的方法 - Google Patents
协同设计中维持关联操作语义一致性的方法 Download PDFInfo
- Publication number
- CN103186383A CN103186383A CN201310130471XA CN201310130471A CN103186383A CN 103186383 A CN103186383 A CN 103186383A CN 201310130471X A CN201310130471X A CN 201310130471XA CN 201310130471 A CN201310130471 A CN 201310130471A CN 103186383 A CN103186383 A CN 103186383A
- Authority
- CN
- China
- Prior art keywords
- executable operations
- local
- overall
- concurrent
- conversion
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Landscapes
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
本发明提供了一种协同设计中维持关联操作语义一致性的方法,其特征在于:将关联操作分解为本地操作及全局操作;操作转换框架中,添加两个操作历史序列,将关联操作、本地操作分别存放在两个操作历史序列中,存放全局操作在已有操作历史序列中,三个操作历史序列维持关联操作和分解操作关联关系;释放远程编辑操作后,执行消解以前冲突步骤和避免将来冲突步骤,其中,“撤销-转换-执行-转换-重新执行”(Undo-VT-Do-VT-Redo)过程被引入到操作转换策略框架中,用于控制远程操作的执行过程,避免将来冲突步骤:某个全局执行操作所对应的本地执行操作将被应用虚拟转换函数并被重新执行,更新本地内存空间。
Description
技术领域
本发明涉及计算机支持的协同设计工作领域,特别涉及一种协同设计中维持关联操作语义一致性的方法。
背景技术
在采用复制式架构的二维协同设计系统中存在两种类型的操作:独立操作和关联操作。独立操作例如Line、Box等不需要参照其它实体信息就能够独立完成参数设定,而关联操作例如Mirror、Array、Copy-Paste等则需要通过参照其它实体信息来完成参数设定。传统的无锁一致性维护算法例如操作转换策略算法及地址空间转换算法等对独立操作的处理采用直接执行,而对关联操作的处理采用先分解后执行。在分解过程中由于没有保留各分解操作之间的关联约束关系,导致各分解操作之间以相互独立的状态执行,因此参照实体及被参照实体之间的关联关系无法得到保证,破坏了关联操作的意愿。
考虑以下例子:人员甲、人员乙正在针对一个建筑的外观进行协同设计。当人员甲完成了窗户的外形设计后,人员乙发起了镜像关联操作(Mirror)用于在某个对称的位置创建另外一个窗户。在人员乙进行镜像关联操作(Mirror)对象选取和参照直线设定过程中,人员甲修改了窗户的高度。由于缺乏对镜像关联操作(Mirror)的语义一致性的维持,操作结束之后得到两个具有不同高度的窗户实体。
关联操作的意愿被破坏会增大设计人员的工作量,缺陷体现在:设计过程中,需对所参照的对象保持紧密关注度,一旦发现参照对象发生了修改,目标对象也要执行相应的修改操作;完成实体的意愿修改需要更多步骤。如图1所示,该场景中含有第一实体对象1(Obj1),人员甲欲以该第一实体对象(Obj1)为参照对象通过Mirror镜像关联操作产生另外一个对称对象为第二实体对象(Obj2)。当人员甲在选择镜像关联操作(Mirror)的参照对象时,人员乙同时发出了对第一实体对象(Obj1)的属性修改操作。当人员甲、人员乙两个操作都完成,镜像关联操作(Mirror)后2,镜像对象的第一实体对象(Obj1)与被参照的第二实体对象(Obj2)之间的属性即、高度并不一致。为达到属性一致的目的,必须再次执行更新操作3(Update)。
维持关联操作的语义一致性存有以下可能的解决方案:第一种策略是采用加锁策略(Lock Strategy),当关联操作开始前,通过加锁申请锁定参照实体,以避免其它用户修改或者删除该参照实体。加锁策略算法虽然简单且易于实施,然而锁的引入却与复制式架构提高并发度的宗旨相违背,降低了系统的响应度;第二种策略是延迟转发策略(Delay-Send Strategy),该策略延迟关联操作的分解操作的转发,直到原操作在本地全部执行完成。该延迟转发策略策略(Delay-Send Strategy)跟上述加锁策略(Lock Strategy)相比具有较好的并发度,但仍然存在下述不足之处,首先,在关联操作的执行过程中,由于时间较长,其它站点会产生较多的并发操作,因此导致处理过程更加复杂;其次,该策略仅能维持不同的目标实体之间的一致性,却不能够维持参照实体和目标实体之间的约束关联关系。例如,在粘贴复制(Copy-Paste)操作中,该策略能够保证所有的由拷贝产生的实体都是相同的,但却不能保证被拷贝实体与原实体之间是相同的。
发明内容
为了克服上述缺点,本发明的目的在于提供一种维持关联操作语义一致性的方法。采用了一种“消解以前-避免将来”策略(Check last–Avoid future,CLAF)。该策略中“撤销-转换-执行-转换-重新执行”(Undo-VT-Do-VT-Redo)过程被引入到操作转换策略框架(OT框架)中用于控制远程操作的执行过程。
本发明提供的一种协同设计中维持关联操作语义一致性的方法,具有这样的特征,具有以下步骤:将关联操作分解为至少一个本地执行操作及至少一个全局执行操作;在操作转换策略框架中,添加第一操作历史序列、第二操作历史序列,将关联操作、本地执行操作分别存放在第一操作历史序列、第二操作历史序列中,存放全局执行操作在已有操作历史序列中,利用第一操作历史序列、第二操作历史序列以及已有操作历史序列来维持原有的关联操作、本地执行操作以及全局执行操作之间的关联关系;以及释放远程编辑操作后,执行消解以前冲突步骤和避免将来冲突步骤,其中,当消解以前冲突步骤检测到远程编辑操作的目标对象是前面某个全局执行操作的参照对象时,执行以下步骤:撤销掉全局执行操作,即、Undo撤销过程;将虚拟转换函数应用在远程编辑操作上,用于根据并发操作来进行相应的虚拟转换,远程编辑操作转换为转换远程编辑操作,即、更新VT转换过程;执行转换远程编辑操作,即、Do执行过程;针对远程编辑操作,将虚拟转换函数应用在全局执行操作上,将全局执行操作转换为转换全局执行操作,即、全局VT转换过程;以及执行转换全局执行操作,即、Redo重新执行过程,避免将来冲突步骤,执行以下步骤:某个全局执行操作所对应的本地执行操作将被应用虚拟转换函数并被重新执行,更新本地内存空间。
在本发明的中协同设计中维持关联操作语义一致性的方法,还可以具有这样的特征:还具有以下步骤,从用户界面释放一个操作后,生成过程将操作转化成为操作转换算法能够直接处理的格式;当操作为原子操作时,将被立即被执行,并存放到已有操作历史序列中;当操作为关联操作的分解操作时,分以下两种情况,当为本地执行操作时,被立即执行并被存放到第二操作历史序列中,当为全局执行操作,被执行并被存放到已有操作历史序列中;然后,将针对本地执行本地操作的操作进行包含转换,以更新第二操作历史序列中操作对象的位置信息。
在本发明的中协同设计中维持关联操作语义一致性的方法,还可以具有这样的特征:其中,操作转换策略框架能处理的有插入全局执行操作、删除全局执行操作、更新全局执行操作、选择本地执行操作以及复制本地执行操作。
在本发明的中协同设计中维持关联操作语义一致性的方法,还可以具有这样的特征:其中,虚拟转换函数用于将第一操作的执行效果包含在第二操作中,可修改目标对象的属性值,虚拟转换函数的前体条件为:第二操作限制并发于第一操作,后续条件为:第一操作的目标对象的属性值被更新为第二操作修正后的新值。
在本发明的中协同设计中维持关联操作语义一致性的方法,还可以具有这样的特征:其中,包含转换用于将第一操作的执行效果包含在第二操作中,可修改目标对象的位置信息,包含转换的前体条件为:第二操作并发于第一操作,后续条件为:第一操作的参照对象和目标对象的位置值都随着第二操作的执行而做出相应的变换。
本发明的效果在于:
本发明提供的协同设计中维持关联操作语义一致性的方法使所有的站点都取得了一致状态,并且无论其中的关联操作还是独立操作都能保持语义一致,避免由远程编辑操作引起的意愿冲突,本发明提出的“消解以前-避免之后(CLAF)”策略使关联操作语义得到了一致保持。
附图说明
图1是本发明的对象修改过程;
图2是本发明的在操作转换策略框架中添加本地执行操作和原有关联操作的示意图;
图3是本发明的GOTO算法中操作历史列表执行操作转换前后对比图;
图4是本发明的GOTO2算法中操作历史列表执行操作转换前后对比图;
图5是本发明的GOTO2算法中7种可能的情况分析图;
图6是本发明的仅使用GOTO算法的限制并发依赖关系的传递性图;
图7是本发明的使用GOTO2算法之后的限制并发依赖关系的传递性图;
图8是本发明的从线性操作历史序列到限制并发依赖树的映射过程;
图9是本发明的含N个操作组成的环的版本将被分解为N个不同的版本;
图10是本发明中详细实施例中初始文档状态;
图11是本发明中详细实施例中不同站点的操作执行顺序;
图12是本发明中详细实施例中各站点执行不同操作之后的文档状态;
图13是本发明中操作[O1,..,Ok]的限制并发依赖关系图;
图14是本发明中操作Oi在[O1,O2,..Oi-1,Oi+1,…,Ok]操作之前到达图;
图15是本发明中操作Oi在序列[O1,O2,…,Ok]之间到达图;
图16是本发明中操作Oi在序列[O1,O2,…,Ok]之后到达图。
具体实施案例
下面结合实施例和附图对本发明进一步说明。
图2是本发明的实施例中在操作转换策略框架中添加本地执行操作和原有关联操作的示意图。
原有的剪切粘贴(Cut-Paste)关联操作被分解为一个选择(Select)本地执行操作、一个复制(Copy)本地执行操作、一个删除(Delete)全局执行操作以及四个插入(Insert)全局执行操作。如图2所示,在操作转换策略(OT)框架4中添加第一操作历史序列5、第二操作历史序列6,分别用于存放关联操作7和分解后的本地执行操作8。操作转换策略(OT)框架中原来已有操作历史序列9用于存放全局执行操作10。第一操作历史序列5、第二操作历史序列6以及已有操作历史序列9用于维持原有的关联操作7和分解后的本地执行操作8、全局执行操作10之间的关联关系。当远程编辑操作中的一个更新(Update)操作从远程站点被释放后,以下消解以前冲突步骤和避免将来冲突步骤将被执行,
消解以前冲突(Check-last)步骤:当该步骤检测到远程编辑操作的更新(Update)操作的目标对象是前面某个插入(Insert)操作的参照对象,其中,远程编辑操作不仅为更新操作,也可为插入、删除等操作,执行以下步骤:
(1)该插入(Insert)操作被撤销(Undo)掉,即、撤销(Undo)过程;
(2)由于更新(Update)操作本身也有可能受到全局执行操作(All-exe)的原有操作历史序列中并发操作的影响,因此,需利用虚拟转换函数,将虚拟转换函数(VT函数)应用在更新(Update)操作上,用于根据并发操作执行相应的虚拟转换,更新(Update)操作被转换为转换更新(V-update)操作,即、针对更新操作的VT转换过程;
(3)执行转换更新(V-update)操作,即、执行(Do)过程);
(4)针对更新(Update)操作,也将虚拟转换函数(VT函数)应用在插入(Insert)操作上,全局执行操作即、该插入(Insert)操作被转换为转换插入(V-insert)操作,即、针对全局执行操作的VT转换过程;
(5)再来执行上述转换插入(V-insert)操作,即重新执行(Redo)过程。
避免将来冲突(Avoid-future)步骤中,执行以下步骤:
该插入(Insert)操作所对应的原操作的本地分解操作(Select及Copy)将被应用虚拟转换函数(VT函数)后并重新执行,以更新本地内存空间,避免了由更新(Update)操作引起的意愿冲突,经过处理以后的插入(Insert)操作都将包含更新(Update)操作的执行效果,避免以后冲突的发生。
另外,当一个操作从用户界面释放后,生成(Generate)过程负责将该操作转化成为(OT)算法能够直接处理的格式,如以下函数1所示,存在一个修改操作产生过程。
如果该操作是一个原子操作,它将被立即被执行,并附加到全局执行操作的已有操作历史序列(All-exe Op HB)中;如果该操作是一个关联操作的分解操作,有两种情况可能发生:如果为一个本地执行操作(Local-exe Op),则该操作被立即执行,并被附加本地执行操作的第二操作历史序列(Local-exe Op HB)中;如果为一个全局执行操作(All-exe Op),则该操作被执行,并被附加到全局执行操作的已有操作历史序列(All-exeOp HB)中,此后,将包含转换(IT转换)应用在本地执行操作(Local-exe Op)中的操作,以更新用于存放本地执行操作的第二操作历史序列(Local-exe Op HB)中操作对象的位置信息。
其中,本发明提供的方法中定义了5种操作转换策略(OT)框架能够处理的操作,其中3种属于全局执行操作:插入(Insert)操作、删除(Delete)操作和更新(Update)操作,另外2种属于本地执行操作:选择(Select)操作和复制(Copy)操作。由对象捕捉本地执行操作所产生的约束关系存放在全局执行操作的约束类型(referenceType)参数中。将各个操作的格式定义如下:
Insert(Obj,“Obj_Type(Key1(value1),Key2(value2),…,Keyn1(valuen1))”,referenceObj,referenceType,originalOp);
Delete(Obj,referenceObj,originalOp);
Update(Obj,“Key(old_Value,new_Value,)”,referenceObj,referenceType,originalOp);
Select(Obj,originalOp);
Copy(Obj,originalOp),
在此,Obj和referenceObj指的是线性地址空间中实体绝对位置的序列值。Obj_Type指明要创建的实体的类型,例如Line、Rectag、Box等。Key用来标识不同的属性类型,例如Position、Radius等。refereneceType代表约束类型,例如平行(Par)、相切(Tan)、端点相交(Endp)等,originalOp代表原有的关联操作。
其中,虚拟转换函数(VT函数)与包含转换函数(IT函数)相类似,都可将第一操作的执行效果包含在第二操作中。二者之间不同之处在于:包含转换函数(IT函数)通过修改目标对象的位置信息来反映其它操作对线性地址空间的影响;而虚拟转换函数(VT函数)则是要修改目标对象的属性值来反映其它操作对操作属性值的影响。虚拟转换函数(VT函数)具有前继条件和后续条件。
VT(Oa,Ob):Oa’,Oa代表第一操作、Ob代表第二操作,输入参数的前继条件:Ob 限制并发于Oa;输出参数的后续条件:并且Oa的目标对象的属性值被更新为Ob修正后的新值。将虚拟转换函数(VT函数)的定义如下述函数2至函数6所示。
在本发明提供的方法中,包含转换函数(IT函数)定义为:IT(Oa,Ob):Oa’,Oa代表第一操作、Ob代表第二操作,输入参数的前提条件:Ob||Oa//Ob并发于Oa;输出参数的后续条件:Ob->Oa’,并且,Oa的参照对象和目标对象的位置值都随着Ob操作的执行而做出相应的变换。这里,“->”表示如果前面实体发生改变,后面的实体也会随之发生改变。
表1为第一操作相对第二操作之间可能的转换类型,如以下表1得出:1)如果Ob是一个插入(Insert)操作,由于插入(Insert)操作会创建一个新的实体,新实体在产生之前,其它操作是不能够对尚未产生的实体进行对照操作的,因此无论Oa是什么类型的操作,都不需要执行虚拟转换(VT);2)如果Ob是一个删除(Delete)操作或者更新(Update)操作,Ob操纵的是一个已经存在的实体,因此无论Oa是什么类型的操作,Ob都需要执行对Oa的虚拟转换(VT);3)如果Ob是一个更新(Update)操作,由于不会影响实体的位置值,因此不需要执行包含转换(IT)或者排他转换(ET)。
表1
已知的,操作之间的限制并发关系,Oa代表第一操作、Ob代表第二操作,Ob与Oa之间的限制并发可以表达成或者又称为Ob限制并发后续于Oa或者Oa限制并发前继于Ob。操作间的限制并发关系具有传递性,Oc代表第三操作,即:如果且那么有为了区分直接限制并发关系和传递限制并发关系,后者被表达成
那么,本发明提供的方法中,第一操作Oa为删除(Delete)操作,第二操作Ob可能是插入(Insert)操作、删除(Delete)操作或者更新(Update)操作:
1)当Ob是插入(Insert)操作时,将不存在第三操作Oc满足因为插入操作(Ob)与第三操作Oc并发,而且插入操作Ob正在插入的实体对象是第三操作Oc产生时不存在的实体。因此,第三操作Oc的参照实体不会受到插入操作(Ob)的目标实体的影响;
2)当Ob是删除(Delete)操作或者更新(Update)操作时,由于且 无论第三操作Oc是插入(Insert)、删除(Delete)或更新(Update)操作,根据上述操作间的限制并发关系具有传递性,因此有:即、删除(Delete)操作插入(Insert)、删除(Delete)或更新(Update)操作。
另外,当第一操作Oa为更新(Update)操作,第二操作Ob可能是插入(Insert)操作或者更新(Update)操作:
1)当Ob是插入(Insert)操作时,将不存在第三操作Oc满足:由于插入操作Ob与第三操作Oc并发,且插入操作Ob正在插入的实体对象是第三操作Oc产生时不存在的实体。因此第三操作Oc的参照实体不会受插入操作Ob的目标实体的影响;
2)当Ob也为更新(Update)操作时,由于且无论第三操作Oc是插入(Insert)、更新(Update)操作,根据上述操作间的限制并发关系具有传递性,因此有:即、更新(Update)操作插入(Insert)、更新(Update)操作。
图3是本发明的实施例中GOTO算法中操作历史列表执行操作转换策略前后对比图。
在操作转换策略(OT)的通用条件操作转换策略算法(Generic OperationTransformation Optimized,GOTO)中,本发明中操作(O)的执行形式(EO)及执行上下文(EC(O))可通过将待执行的操作(O)针对操作历史序列(HB)中的操作执行一系列包含转换(IT)或者排他(ET)转换来获得。
已知的,如图3所示,上述GOTO算法11将第一序列HB(O)12转化成与之等价的第二序列HB(O’)13,以使所有因果前继于O的操作都被置于与之并发的操作之前,即、HB(O’)=HB(O)’.left+HB(O)’.right。其中HB(O)’.left为因果前继于操作O的操作子集组成;HB(O)’.right为并发于操作O的操作子集组成。在执行操作O之前,只需要将操作O相对于HB(O)’.right执行包含转换(IT)即可,并且,有EC(O’)=HB(O’)。
然而,为了维护限制并发操作中的依赖关系,有以下几个方面需要重新考虑:1)如果序列操作历史序列(HB)中存在操作O的限制并发后续操作,则这些操作必须首先被撤销掉(Undo),并将执行上下文(EC(O))设置为限制并发后续操作被撤销掉(Undo)之后的文档状态;2)限制并发后续操作必须针对其前继操作执行相应的虚拟转换(VT),从而包含前继操作的执行效果。本发明提出了一种扩展后的GOTO算法,即、第二通用条件操作转换策略算法(GOTO2),如图4所示为GOTO2算法14中的序列中操作的转换过程,如此得到HB(O’)=HB(O)’.left+HB(O)’.middle+HB(O)’.right,其中,HB(O)’.left15跟上述GOTO算法中具有相同的含义,为因果前继于操作O的操作子集组成;HB(O)’.middle16为由并发操作中所有与操作O具有限制并发前继关系及普通并发关系的操作组成的子序列;HB(O)’.right17则为由操作O的限制并发后续操作组成的子序列。操作O的执行上下文为EC(O’)=HB(O)’.left+HB(O)’.middle。GOTO2算法详细描述如下述函数7所示。
图5是本发明的实施例中GOTO2算法中7种可能的情况分析图。如图5所示,描述了上述GOTO2算法中可能出现的操作转换策略的7中不同情形。
远程操作的过程中,如果操作O没有因果就绪,说明本地站点上尚有操作O的产生前站点上已经执行过的操作未到达,此时操作O被置入等待队列中延缓执行。否则,执行(Execute)过程首先调用上述GOTO2过程来获得操作O的执行形式(EO)及操作O的执行上下文(EC(O))。之后,限制并发依赖树(Constrain Concurrent Tree,CCTs)中的结点由下至上依次执行撤销(Undo)操作。执行形式(EO)在转换了的文档环境下执行。为了在本地执行操作中包含执行形式(EO)的执行效果,本地执行(Local-exe)中的所有操作要相对于执行形式(EO)执行包含转换(IT转换),并重新执行。此后,限制依赖树中所有操作从上至下相对于其直接并发前继操作执行包含转换(IT转换)和虚拟转换(VT转换),并重新执行。下述过程1为远程操作的过程。
其中,操作O的限制并发依赖树递归定义为:限制并发依赖树(CCTs)是n(n≥1)个结点的有限集,满足如下两个条件:有且仅有一个根结点(Root),且Root=O;其余的结点可分为m(n≥0)个子集CCT1、CCT2、…、CCTm,其中每个子树本身又是一颗树,并称其根的子树。假设每颗子树的根为Root1、Root2、…、Rootm,则有(1=<i<=m)。
由于限制并发操作具有传递性,那么两个具有间接限制并发关系的操作在中间操作没有到达之前,有可能检测不到。图6是本发明的仅使用GOTO算法的限制并发依赖关系的传递性图;图7是本发明的使用GOTO2算法的限制并发依赖关系的传递性图。
在下例中,O1=Update(1,”Radius(20,30)”,null,);//修改Obj1圆的半径
O2=Select(2,null,1);O3=Tan(2,1,null,1);
O4=Update(2,”Position((110,105,0),(139.223,116.1304,0))”,1,“Tan(-,1)”,1);//Tan(-,1)表示顺时针的第一个切点
O5=Select(2,null,1);O6=SetParemeter(...);//这里省略了具体的参数值
O7=Insert([3,4,5,6,7],“Line(Position(57,61,0),Position(33,109,0),1,Array(…));Line(Position(45,42,0),Position(-9,45,0),1,Array(…));Line(Position(56,21,0),Position(26,-24,0),1,Array(…));Line(Position(79,21,0),Position(103,-28,0),1,Array(…));Line(Position(91,40,0),Position(145,36,0),1,Array(…))”,1);//Array中的具体参数被省略
在第三站点(site3),当操作O1到达时,序列(HB)中包含第四、第七操作(O4,O7)。由于操作O4被撤销(Undo)并根据操作O1执行虚拟转换,从而得到O4’=Update(2,”Position((110,105,0),(128,119,0),1,Tan(-,1))”,1)。然而在采用上述GOTO算法进行控制时,第四操作O4和第七操作O7之间的关系在操作O1到达之前并不再被检测及处理。因此,当虚拟转换后的第四操作(O4’)被重新执行时,第七操作O7不会相对于上述O4’执行虚拟转换,如图6所示,从而导致第三站点(site3)18出现错误的执行结果,即、线与圆无法相切。为了解决以上问题,本发明提出采用GOTO2算法,如图7所示,当操作O被执行之前,所有满足的操作Ok都应该被置于操作O之后。当另一个操作O’到达时仅需要将其插入到限制并发操作列表的第一个操作之前,从而导致第三站点(site3)19出现正确的执行结果,即、线与圆相切。修正后的上述GOTO2算法如下函数8所示:
查找后续(Find Following)函数会找到所有的限制并发后续操作,并将这些操作构建成一棵限制并发依赖树。该函数通过递归调用的方式来由上至下构建操作O的限制并发依赖树。查找后续(Find Following)过程首先查看操作列表L[EO1,…,EOm]中所有的操作以找出操作列表L中所有操作O的直接限制并发后续操作,并用这些操作为根结点来构建限制并发依赖树(CCTs)中的第二层,限制并发依赖树(CCTs)的根结点是通过操作O来构建的。该过程在所有子树上进行递归调用,直到找不到满足条件的操作为止。查找后续(Find Following)函数如下函数9所示。
图8描述了查找后续(Find Following)函数中线性操作历史序列限制并发依赖树的构建过程20。其中,实线部分表示限制并发关系而虚线部分表示从线性地址空间21到依赖树22的映射关系。下述过程2为修改后的控制过程、下述过程3为VTF函数。修改后的控制过程通过调用VTF函数来对限制并发依赖树(CCTs)中的结点由上至下依次执行虚拟转换(VT)和包含转换(IT)。这样,操作O的执行效果会被反映到限制并发依赖树(CCTs)中的每个结点上。
关联操作的目标对象和参照对象之间的依赖关系已能正确维持。然而,由于限制并发关系具有传递性,有可能出现两个操作相互并发依赖的情形,从而导致限制并发意愿冲突的产生,体现在限制依赖树中就是出现限制环。在这种情形下,尽管所有的操作都没有试图修改同一个目标对象,传统的冲突定义无法检测到冲突的发生。然而各操作之间相互参照,却不能同时得到满足,由此产生了限制冲突(Constrain Conflict)现象。
限制冲突(Constrain Conflict)现象是由于限制并发的传递性而产生的。给出限制冲突的定义,指出限制冲突与传统冲突的区别,并给出基于MV(Multi-version)技术的冲突解决方案。
第一更新操作Ua和第二更新操作Ub相互冲突,表达成当且仅当:(1)上述Ua和上述Ub相互并发;(2)它们操纵的是同一个实体对象,即:Ua.p=Ub.p;(3)它们操纵的是一个属性类型,即Ua.key=Ub.key。根据已知定义,冲突当且仅当多个用户同时修改同一个实体的同一个属性时才会发生。不同实体之间的限制并发传递关系也会导致意愿冲突的产生。
在操作转换策略(OT)算法中,操作之间限制冲突的定义:
如图9中所示,上部的虚线23代表第一操作O、第二操作O1和第三O3之间由于限制并发关系产生的限制冲突。当第一操作O到达时,限制树中形成一个环,限制冲突产生。多版本(Multi-version,MV)机制通过保持同一个实体的多个版本来保留多个冲突更新操作的执行效果。
采用多版本(Multi-version,MV)机制将限制树中的环进行破解,以产生多个版本的方法来进行冲突消解。假设冲突环中有若干(N)个结点,那么其中就有若干(N)条限制边。通过将这若干(N)条限制边中的某一条删除掉的方法,可以得到若干(N)个不同的执行版本。
在采用多版本(Multi-version,MV)机制来消除限制冲突中,如图9所示,一个环中包含以下的操作序列<O,O1,…,On-1,O>。对于冲突解决,讨论以下三种情况:
(1)从下向上依次Undo满足(p∈[1,n-1])的操作组成的限制并发依赖树中的所有操作。Oj的参照实体(referenceObj)被设置为空(null),且Oj的new_value要被设置为old_value,也就是说,Oi的执行效果要从Oj中被排除掉,从而消除Oi和Oj之间的限制并发关系。以图9中第二版本(b)为例,撤销(Undo)的顺序为<O5,O6,O3>,且操作O3的参照实体(referenceObj)被设置为空(null),设置O3.Obj.new_value=O1.Obj.old_value;
(2)调用VTF(Oj,CCTs)过程将限制并发依赖树(CCTs)中除了操作O之外的操作针对其父操作结点执行虚拟转换(VT);
(3)从上到下依次执行限制并发依赖树(CCTs)中转换之后的操作;
(4)重新安排操作O的限制并发前继操作和限制并发后续操作的前后顺序。
当移除之间的限制并发关系时26,如图9中的第三版本(c),在这种情况下只需要将操作O移动到限制环的最前端,并将第三操作O3的参照实体(referenceObj)设置为空(null)即可,消解之后的操作序列为:<O,O1,…,On-1>。
在此,给出详细实施例做进一步说明,图10是详细实施例中初始文档状态27,图11是详细实施例中不同站点的操作执行顺序28。其中,各个操作为:
O1=Insert(20,”Circle(Position(137.5,220,0),20)”,null,null);//操作O1想要在Object1之上插入一个圆。
O2=Copy(20,1);//操作O2是Copy-Paste操作的分解操作。
O3=Insert(21,“Circle(Position(200,220,0),20)”,20,ATTR,1);//操作O3Copy-Paste操作的另外一个分解操作,操作O3想要复制出一份与Object20完全相同对象。
O4=Update(20,“Radiu(20,25)”,null,null);//操作O4想要把Object20的半径从20修改为25。
O5=Insert(22,”Line(Position(175,120,0),Position(210,60,0))”,null,null);//操作O5想要插入一个新的Line对象。
O6=Insert(21,”Line(Position(200,130,0),Position(280,130,0))”,null,null);//操作O6想要插入另外一个新Line对象。
O7=Insert(22,“Circle(Postion(272.5,220,0),25)”,20,ATTR,1);//操作O7是Copy-Paste操作的另外一个分解操作,用于插入一个与Object20相同的实体
O8=Update(22,“Position((200,130,0),(180,130,0))”,null,null);//操作O8想要将Object22的第二个结点的位置从position(200,130,0)变为positioin(180,130,0)。
O9=Update(22,“Position((175,120,0),(200,130,0))”,24,“Endp(2,1)”);/操作O9想要修改Object24的第一个结点的位置使之与Object22的第一个结点重合。
O10=Select(25,1);
O11=Insert(25,“Line(Position(305,120,0),Position(270,60,0))”,23,“Mirror(Line(Position(240,130,0),Position(160,60,0)))”,1);//操作O11是Mirror操作的分解操作,想要生成Object24相对于Line(Position(305,120,0),Position(270,60,0))的对称对象。
本发明用符号Doc(i,j)来表示站点i在执行完操作j之后的文档状态,并用EOy○EOx(Doc(i,j))来表示在Doc(i,j)上依次执行EOx、EOy之后的文档状态。如图12所示为各个操作的执行形式及各个站点在执行后各操作之后的文档状态。第一站点site1、第二站点site2以及第三站点site3的初始的文档状态分别为Doc(1,0)、Doc(2,0)以及Doc(3,0),三者相同。
第一站点site1具有下述操作29:
(1)执行操作O1、O4、O6:
EC(O1)=HB={};Doc(1,6)=O6○O4○O1(Doc(1,0));
(2)执行操作O3:
EC(O3)=HB={EO1,EO4,EO6};
EO3=IT(VT(IT(O3,EO4),EO4),EO6)=Insert(21,“Circle(Position(200,220,0),25)”,20,ATTR,1);
Doc(1,3)=EO6(Doc(1,6));
(3)执行操作O8:
Doc(1,8)=EO8(Doc(1,3));
(4)执行操作O7:
HB={EO1,EO4,EO6,EO3,EO8};由于EO6||O7、EO3->O7且EO8||O7,
EC(O7)=HB’={EO1,EO4,EO3’,EO6’,EO8’},其中:
EO3’=Insert(21,“Circle(Position(200,220,0),25)”,20,ATTR,1);EO6’=Insert(23,”Line(Position(200,130,0),Position(280,130,0))”,null,null”,null,null);EO8’=Update(23,“Position((200,130,0),(180,130,0))”,null,null);
则:EO7=IT(IT(IT(O7,EO3’),EO6’),EO8’)=Insert(22,“Circle(Position(272.5,220,0),25)”,20,ATTR,1);
Doc(1,7)=EO7(Doc(1,8));
(5)执行操作O5:
HB={EO1,EO4,EO3,EO6,EO8,EO7};由于EO6||O5、EO8||O5且EO7||O5,
EO5=IT(IT(IT(O5,EO6),EO8),EO7)=Insert(22,”Line(Position(175,120,0),Position(210,60,0))”,null,null);
Doc(1,5)=EO5(Doc(1,7));
(6)执行操作O9:
EC(O9)={EO1,EO4,EO3,EO6,EO7’,EO5’,EO8’},其中:
EO7’=Insert(23,“Circle(Position(272.5,220,0),25)”,20,ATTR,1);
EO5’=Insert(22,”Line(Position(175,120,0),Position(210,60,0))”,null,null);
EO8’=Update(24,“Position((200,130,0),(180,130,0))”,null,null);
EO9=IT(VT(O9,EO8’),EO8’)=Update(22,“Position((175,120,0),(180,130,0))”,24,“Endp(2,1)”);Doc(1,9)=EO9(Doc(1,5));
(7)执行操作O10、O11:
EC(O11)={EO1,EO4,EO3,EO6,EO7,EO5,EO8,EO9},且:
EO11=IT(VT(IT(O11,EO8),EO9),EO9)=Insert(25,“Line(Position(300,130,0),Position(270,60,0))”,24,“Mirror(Line(Position(240,130,0),Position(160,60,0)))”,1);
Doc(1,11)=EO11○EO10(Doc(1,9);
第二站点site2具有下述操作30:
(1)执行操作O1:
EC(O1)=HB={};EO1=O1;Doc(2,1)=EO1(Doc(2,0));
(2)执行操作O2、O3:
EC(O3)=HB={EO1};EO3=O3;Doc(2,3)=EO3(Doc(2,1));
(3)执行操作O4:
EO3’=IT(VT(EO3,O4),O4)=Insert(21,“Circle(Position(200,220,0),15)”,25,ATTR,1);
执行O4后,EO2’=IT(EO2,EO4)=O2=Copy(20,1),重新执行EO2’,以更新本地内存中剪贴板的内容;
Doc(2,4)=EO3’○EO4(Doc(2,3));
(4)执行操作O7:
Doc(2,7)=O7(Doc(2,4));
(5)执行操作O5:
HB={EO1,EO4,EO3,EO7};由于EO7||O5,
EO5=IT(O5,EO7)=Insert(22,”Line(Position(175,120,0),Position(210,60,0))”,null,null);
Doc(2,5)=EO5(Doc(2,7));
(6)执行操作O6:
HB={EO1,EO4,EO3,EO7,EO5};由于EO3||O6、EO7||O5且EO5||O6,
EO6=IT((IT(O6,EO3),EO7),EO5)=Insert(24,”Line(Position(200,130,0),Position(280,130,0))”,null,null);
Doc(2,6)=EO6(Doc(2,5));
(7)执行操作O9:
Doc(2,9)=O9(Doc(2,6));
(8)执行操作O8:
EC(O8)=HB’={EO1,EO4,EO3,EO6’,EO7’,EO5’},其中:
EO6’=Insert(24,”Line(Position(200,130,0),Position(280,130,0))”,null,null);
EO7’=Insert(23,“Circle(Position(272.5,220,0),25)”,20,ATTR,1);
EO5’=Insert(22,”Line(Position(175,120,0),Position(210,60,0))”,null,null);
EO9’=Update(22,“Position((175,120,0),(200,130,0))”,22,“Endp(2,1)”);
EO8=IT(O8,EO7’),EO5’)=Update(24,“Position((200,130,0),(180,130,0))”,null,null);
EO9”=IT(VT(EO9’,EO8),EO8)=Update(22,“Position((175,120,0),(180,130,0))”,22,“Endp(2,1)”);
Doc(2,8)=EO9”○EO8(Doc(2,9));
(9)执行操作O11:
EO11=IT(VT(IT(O11,EO8),EO9),EO9)=Insert(25,“Line(Position(300,130,0),Position(270,60,0))”,24,“Mirror(Line(Position(240,130,0),Position(160,60,0)))”,1);
Doc(2,11)=EO11(Doc(2,8));
第三站点site3具有下述操作31:
(1)执行操作O1、O3:
Doc(3,3)=O3○O1(Doc(3,0));
(2)执行操作O4:
EO3’=IT(VT(EO3,O4),O4)=Insert(21,“Circle(Position(200,220,0),15)”,25,ATTR,1);
EO4=O4;且在执行完O4之后,EO2’=VT(IT(EO2,EO4),EO4)=O2=Copy(20,1);
然后,EO2’被重新执行,以更新本地剪贴板中的信息;
Doc(3,4)=EO3’○EO4(Doc(3,3));
(3)执行操作O5:
Doc(3,5)=O5(Doc(3,4));
(4)执行O6:
EC(O6)=HB={EO1,EO4,EO3,EO5};由于EO4->O6、EO3||O6且EO5||O6,
EO6=IT(IT(O6,EO3),EO5)=Insert(23,”Line(Position(200,130,0),Position(280,130,0))”,null,null);Doc(3,6)=EO6(Doc(3,5));
(5)执行操作O7:
EC(O7)=HB={EO1,EO4,EO3,EO5,EO6};由于EO3->O7、EO5||O7且EO6||O7,
EO7=IT(IT(O7,EO5),EO6)=Insert(23,“Circle(Position(272.5,220,0),25)”,20,ATTR,1);
Doc(3,7)=EO7(Doc(3,6));
(6)执行操作O10、O11:
Doc(3,11)=O11(Doc(3,7));
(7)执行操作O8:
EC(O8)=HB={EO1,EO4,EO3,EO5,EO6,EO7,EO11};由于EO6->O8、EO7||O8且EO11||O8,
EO8=IT(O8,EO11)=Update(24,“Position((200,130,0),(180,130,0))”,null,null);
Doc(3,8)=EO8(Doc(3,11));
(8)执行操作O9:
HB={EO1,EO4,EO3,EO5,EO6,EO7,EO11,EO8};
由于且首先操作EO11与EO8要相互交换,从而得到:
HB’={EO1,EO4,EO3,EO5,EO6,EO7,EO8’,EO11’},其中:
EO8’=Update(24,“Position((200,130,0),(180,130,0))”,null,null);
EO11’=Insert(25,“Line(Position(305,120,0),Position(270,60,0))”,23,“Mirror(Line(Position(240,130,0),Position(160,60,0)))”,1);
之后,O11’首先被undo掉用以包含O9的执行效果;
EO9=IT(VT(O9,EO8’),EO8’)=Update(22,“Position((175,120,0),(180,130,0))”,22,“Endp(2,1)”);
EO11”=IT(VT(EO11’,EO9),EO9)=Insert(25,“Line(Position(300,130,0),Position(270,60,0))”,24,“Mirror(Line(Position(240,130,0),Position(160,60,0)))”,1);
Doc(3,9)=EO11”○EO9(Doc(3,8));
最后第一站点Doc(1,11)、第二站点Doc(2,11)以及第三站点Doc(3,9)都取得了一致的文档状态,并且其中的关联及独立操作:镜像(Mirror)操作、复制粘贴(Copy-Paste)操作及更新(Update)操作的语义都保持了一致。
本发明提供的方法中所有站点上的所有操作都依据操作转换策略(OT)算法来处理并执行,则在所有站点最后的文档状态都能达到一致,并且所有用户的意愿都能得到维持。提供的“消解以前-避免将来”策略(Check last–Avoid future,CLAF)的正确性是以操作转换策略(OT)策略的正确性为基础的。操作转换策略(OT)算法保证所有的操作只有满足因果就绪时条件下才能执行,并保证所有并发但并非限制并发的操作的乱序执行,即、按照任意的顺序执行并发操作,都能取得一致的结果。“消解以前-避免将来”策略(CLAF)中的操作之间的关系除了具有操作转换策略OT策略中所处理的因果关系(→)、并发关系(||)外,另外还有一种特殊的并发关系,称为限制并发关系由于因果关系和并发关系的处理都是由传统的操作转换策略(OT)算法来完成的,要证明CLAF策略的有效性只要证明限制并发操作执行的乱序性即可,即指无论限制并发操作按照何种顺序到达,不同站点上文档最终状态都能保持一致。采用数学归纳方法来说明:
图13是本发明中操作[O1,..,Ok]的限制并发依赖关系32,如图13所示,可假设有n个限制并发依赖操作O1、O2、…、On,且满足那么,总共有n!种可能的到达顺序。此时需要证明,无论O1、O2、…、On按照何种顺序到达,最终的执行结果都是[O1,O2’,O3’,…,On’],且O2’=VT(IT(O2,O1),O1)、O3’=VT(IT(O3,O2’),O2’)、…、On’=VT(IT(On,On-1’),On-1’)。
1)如果n=1,则所有站点的执行顺序都只能有一种,即:[O1];
2)如果n=2,分两种情况:
(1)如果O1在O2之前到达,则执行过程如下:
i.执行O1,且HB变为[O1];
ii.O2’=VT(IT(O2,O1),O1);
iii.执行O2’,且HB变为[O1,O2’];
(2)如果O2在O1之前到达,则执行过程如下:
i.执行O2,且HB变为[O2];
ii.Undo(O2),且HB变为[];
iii.执行O1,且HB变为[O1];
iv.O2’=VT(IT(O2,O1),O1);
v.执行O2’,且HB变为[O1,O2’];
根据(1)和(2)可以判定无论O1、O2以何种顺序到达,最终结果都是[O1,O2’],且所有站点上O1、O2的执行状态都是一致的。
3)如果n=k,假设n=k-1时结论成立。
即对于序列[O1,O2,…,Oi-1,Oi,Oi+1,…,Ok],且满足(见图10),[O1,…,Oi-1]子序列及[Oi+1,…,Ok]子序列,其中的操作无论以何种顺序到达,最后的执行子序列都为[O1,O2’,...,Oi-1’]、[Oi+1,Oi+2’,…,Ok’],其中O2’=VT(IT(O2,O1),O1)、…、Oi-1’=VT(IT(Oi-1,Oi-2’),Oi-2’)、Oi+2’=VT(IT(Oi+2,Oi+1),Oi+1)、…、Ok’=VT(IT(Ok,Ok-1’),Ok-1’)。而由于子序列[[O1,O2,…Oi-1]与[Oi+1,…Ok]]中的元素在缺少Oi操作的情况下无法判断其限制并发关系,所以无法判断其执行顺序。
下面分3种情况来讨论由于Oi到达顺序的不同,所导致的不同的执行过程及最终结果:
图14是本发明中操作Oi在[O1,O2,..Oi-1,Oi+1,…,Ok]操作之前到达33。当Oi在[O1,O2,..Oi-1,Oi+1,…,Ok]操作之前到达时,则执行过程如下:
执行Oi,且HB变为[Oi];
无论子序列[O1-Oi-2]和子序列[Oi+1,…,Ok]以何种顺序到达,执行结果都为[O1,…,Oi-2’]及[Oi+1’,…,Ok’],且O2’=VT(IT(O2,O1),O1)、…、Oi-2’=VT(IT(Oi-2,Oi-3’),Oi-3’);
Oi+1’=VT(IT(Oi+1,Oi),Oi),…,Ok’=VT(IT(Ok,Ok-1’),Ok-1’),则HB为[Oi]+,子序列[O1,…Oi-2’]及[Oi+1’,…Ok’]的一个穿插组合;
当Oi-1到达时,首先执行Undo(Ok’,…,Oi+1’,Oi),且HB变为[O1,…Oi-2’];Oi-1’=VT(IT(Oi-1,Oi-2’),Oi-2’);
执行Oi-1’,且HB变为[O1,…Oi-2’,Oi-1’];Oi’=VT(IT(Oi,Oi-1’),Oi-1’);
执行Oi’,且HB变为[O1,…Oi-2’,Oi-1’,Oi’];Oi+1’=VT(IT(Oi+1,Oi’),Oi’),…,Ok’=VT(IT(Ok,Ok-1’),Ok-1’);执行Oi+1’,…Ok’,且HB变为[O1,…,Oi’,Oi+1’,…Ok’]。
图15是本发明中操作Oi在序列[O1,O2,…,Ok]之间到达34。当Oi在序列[O1,O2,…,Ok]之间到达时,则执行过程如下:
对于子序列[O1,…Oi-1],无论以何种顺序执行,其在Oi到达之后,都将通过一系列的Undo、VT、Redo过程转化为[O1,O2’,…,Oi-1’,Oi’]且O2’=VT(IT(O2,O1),O1)、…、Oi’=VT(IT(Oi,Oi-1’),Oi-1’);
对于子序列[Oi+1,…,Ok],无论以何种顺序执行,其在Oi到达之后,都将通过一系列的Undo、VT、Redo过程转化为[EOi,Oi+1’,…,Ok’]且Oi+1’=VT(IT(Oi+1,EOi),EOi)、…、Ok’=VT(IT(Ok,Ok-1’),Ok-1’),如果在Oi+1执行之前,Oi-1尚未到达,则EOi=Oi,转下一步骤;否则EOi=Oi’=VT(IT(Oi,Oi-1’),Oi-1’),此时文档状态变为[O1,…,Oi’,Oi+1’,…,Ok’],过程结束;
如果EOi=Oi,则当Oi-1到达后,要执行一系列的Undo操作撤销掉[Oi+1,…,Ok]子系列中所有Oi的限制并发后续操作,并撤销Oi本身,执行Oi’=VT(IT(Oi,Oi-1’),Oi-1’)、Oi+1’=VT(IT(Oi+1’,Oi’),Oi+1’)、…、Ok’=VT(IT(Ok’,Ok-1’),Ok’)。并重新执行Oi’、Oi+1’、...等操作,此时HB变为[O1,…,Oi’,Oi+1’,…Ok’]。
图16是本发明中Oi在序列[O1,O2,…,Ok]之后到达35。当Oi在序列[O1,O2,…,Ok]之后到达时,则执行过程如下:
对于子序列[O1,…,Oi-1],无论以何种顺序执行,都将通过一系列的Undo、VT、Redo过程转化为[O1,O2’,…,Oi-1’,Oi’],且O2’=VT(IT(O2,O1),O1)、…、Oi’=VT(IT(Oi,Oi-1’),Oi-1’);
对于子序列[Oi+1,…,Ok],无论以何种顺序执行,都将通过一系列的Undo、VT、Redo过程转化为[Oi+1,…,Ok’]且Oi+1’=VT(IT(Oi+1,EOi),EOi)、…、Ok’=VT(IT(Ok,Ok-1’),Ok-1’),序列HB为子序列[O1,O2’,…,Oi-1’]与子序列[Oi+1,…,Ok’]的穿插组合;
Oi到达后,要执行Ok’、…、Oi+1的Undo操作,此时HB变为[O1,O2’,…,Oi-1’];
执行Oi’=VT(IT(Oi,Oi-1’),Oi-1’),Oi+1’=VT(IT(Oi+1,Oi’),Oi’)、…、Ok’=VT(IT(Ok’,Ok-1’),Ok-1’);
执行Oi’、Oi+1’、…、Ok’,此时HB变为[O1,…,Oi’,Oi+1’,…Ok’]。
上述分析了Oi可能出现的三种之前、之间以及之后到达的各个状态,当n=k时结论仍然成立。限制并发操作执行具有乱序性,由于因果关系和并发关系的处理都是由传统的操作转换策略(OT)算法来完成的,则本发明提出的CLAF策略是具有有效性,即、无论限制并发操作按照何种顺序到达,不同站点上文档最终状态都能保持一致。
发明的作用与效果
综上所述,本发明的作用和效果在于:
本发明提供的协同设计中维持关联操作语义一致性的方法使所有的站点都取得了一致状态,并且无论其中的关联操作还是独立操作都能保持语义一致,避免由远程编辑操作引起的意愿冲突,本发明提出的“消解以前-避免之后(CLAF)”策略使关联操作语义得到了一致保持。
本发明提供的协同设计中维持关联操作语义一致性的方法中的虚拟转换(VT)即消除了并发操作的影响,还保证了分解操作之间的关联关系,关联操作的意愿不被破坏。本发明提出的第二通用条件操作转换策略算法(GOTO2),即、扩展后的通用条件操作转换策略算法(GOTO),维护住了限制并发操作中的依赖关系,解决了由于限制并发操作具有传递性,那么两个具有间接限制并发关系的操作在中间操作没有到达之前有可能被检测不到的问题。
上述实施方式为本发明的优选案例,并不用来限制本发明的保护范围。
Claims (5)
1.一种协同设计中维持关联操作语义一致性的方法,其特征在于,具有以下步骤:
将关联操作分解为至少一个本地执行操作及至少一个全局执行操作;
在操作转换策略框架中,添加第一操作历史序列、第二操作历史序列,将所述关联操作、所述本地执行操作分别存放在所述第一操作历史序列、所述第二操作历史序列中,存放所述全局执行操作在已有操作历史序列中,利用所述第一操作历史序列、所述第二操作历史序列以及所述已有操作历史序列来维持原有的所述关联操作、所述本地执行操作以及所述全局执行操作之间的关联关系;以及
释放远程编辑操作后,执行消解以前冲突步骤和避免将来冲突步骤,
其中,当所述消解以前冲突步骤检测到所述远程编辑操作的目标对象是前面某个所述全局执行操作的参照对象时,执行以下步骤:
撤销掉所述全局执行操作,即、Undo撤销过程;
将虚拟转换函数应用在所述远程编辑操作上,用于根据所述并发操作来进行相应的虚拟转换,所述远程编辑操作转换为转换远程编辑操作,即、更新VT转换过程;
执行所述转换远程编辑操作,即、Do执行过程;
针对所述远程编辑操作,将所述虚拟转换函数应用在所述全局执行操作上,将所述全局执行操作转换为转换全局执行操作,即、全局VT转换过程;以及
执行所述转换全局执行操作,即、Redo重新执行过程,
所述避免将来冲突步骤,执行以下步骤:
某个所述全局执行操作所对应的所述本地执行操作将被应用所述虚拟转换函数并被重新执行,更新本地内存空间。
2.根据权利要求1中所述协同设计中维持关联操作语义一致性的方法,其特征在于,还具有以下步骤:
从用户界面释放一个操作后,生成过程将所述操作转化成为操作转换算法能够直接处理的格式;
当所述操作为原子操作时,将被立即被执行,并存放到所述已有操作历史序列中;
当所述操作为所述关联操作的分解操作时,分以下两种情况,当为所述本地执行操作时,被立即执行并被存放到所述第二操作历史序列中,当为所述全局执行操作,被执行并被存放到所述已有操作历史序列中;
然后,将针对所述本地执行本地操作的所述操作进行包含转换,以更新所述第二操作历史序列中操作对象的位置信息。
3.根据权利要求1中所述协同设计中维持关联操作语义一致性的方法,其特征在于:
其中,所述操作转换策略框架能处理的有插入全局执行操作、删除全局执行操作、更新全局执行操作、选择本地执行操作以及复制本地执行操作。
4.根据权利要求1中所述协同设计中维持关联操作语义一致性的方法,其特征在于,还具有以下步骤:
其中,所述虚拟转换函数用于将第一操作的执行效果包含在第二操作中,可修改目标对象的属性值,所述虚拟转换函数的前体条件为:所述第二操作限制并发于所述第一操作,后续条件为:所述第一操作的所述目标对象的属性值被更新为所述第二操作修正后的新值。
5.根据权利要求2中所述协同设计中维持关联操作语义一致性的方法,其特征在于,还具有以下步骤:
其中,所述包含转换用于将第一操作的执行效果包含在第二操作中,可修改目标对象的位置信息,所述包含转换的前体条件为:所述第二操作并发于所述第一操作,后续条件为:所述第一操作的参照对象和所述目标对象的位置值都随着所述第二操作的执行而做出相应的变换。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310130471XA CN103186383A (zh) | 2013-04-16 | 2013-04-16 | 协同设计中维持关联操作语义一致性的方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310130471XA CN103186383A (zh) | 2013-04-16 | 2013-04-16 | 协同设计中维持关联操作语义一致性的方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN103186383A true CN103186383A (zh) | 2013-07-03 |
Family
ID=48677562
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201310130471XA Pending CN103186383A (zh) | 2013-04-16 | 2013-04-16 | 协同设计中维持关联操作语义一致性的方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103186383A (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107943777A (zh) * | 2017-12-14 | 2018-04-20 | 北京久蓉科技有限公司 | 一种协同编辑、协同处理方法、装置、设备及存储介质 |
-
2013
- 2013-04-16 CN CN201310130471XA patent/CN103186383A/zh active Pending
Non-Patent Citations (3)
Title |
---|
LIPING GAO等: "CLAF: Solving intention violation of step-wise operations in CAD groupware", 《 ADVANCED ENGINEERING INFORMATICS 2010》 * |
高丽萍: "复制式协同图形编辑环境中复合Undo操作语义一致性维护研究", 《计算机应用研究》 * |
高丽萍等: "支持团队分工的实时协同一致性维护技术研究", 《小型微型计算机系统》 * |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107943777A (zh) * | 2017-12-14 | 2018-04-20 | 北京久蓉科技有限公司 | 一种协同编辑、协同处理方法、装置、设备及存储介质 |
CN107943777B (zh) * | 2017-12-14 | 2021-07-06 | 北京久蓉科技有限公司 | 一种协同编辑、协同处理方法、装置、设备及存储介质 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8874535B2 (en) | Performance of RCU-based searches and updates of cyclic data structures | |
US7769714B2 (en) | Automatic error correction for replication and instantaneous instantiation | |
US9892185B2 (en) | Method and system for syncing data structures | |
US8204865B2 (en) | Logical conflict detection | |
JP4295333B2 (ja) | データベースの制御方法及びプログラム | |
US20080126741A1 (en) | Lockless Hash Table Lookups While Performing Key Update On Hash Table Element | |
JPH0887511A (ja) | B木インデクスの管理方法およびシステム | |
Khyzha et al. | Proving linearizability using partial orders | |
CN102054034A (zh) | 企业信息系统的业务基础数据持久化实现方法 | |
Krishna et al. | Verifying concurrent search structure templates | |
CN102819585A (zh) | 一种xml数据库文档控制方法 | |
CN103186383A (zh) | 协同设计中维持关联操作语义一致性的方法 | |
CN102193987B (zh) | 基于oltp的增加节点数据关系的方法及系统 | |
CN109446214B (zh) | 大数据背景下基于乐观锁机制实现主数据版本管理的系统及方法 | |
CN103562915A (zh) | 高速缓冲存储器结构和方法 | |
Popovic et al. | Formal verification of distributed transaction management in a SOA based control system | |
Juyal et al. | An innovative approach to achieve compositionality efficiently using multi-version object based transactional systems | |
JP6477169B2 (ja) | データベースの処理制御方法、処理制御プロラム及びデータベースサーバ | |
Peri et al. | Efficient means of Achieving Composability using Object based Conflicts on Transactional Memory | |
Vidyasankar | Batch composite transactions in stream processing | |
Lin et al. | A MVCC Approach to Parallelizing Interoperability of Consortium Blockchain | |
Harrison et al. | Efficient compilation of linear recursive functions into object level loops | |
Cook et al. | Implementation outline for orc | |
Choi | Formal Verification of Chase-Lev Deque in Concurrent Separation Logic | |
Gao et al. | Supporting semantic maintenance of complex undo operations in replicated Co-AutoCAD environments |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C02 | Deemed withdrawal of patent application after publication (patent law 2001) | ||
WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20130703 |