[发明专利]工作流执行中的资源冲突消解方法

摘要

本发明公开了一种工作流执行中的资源冲突消解方法，用一个六元组表示对象P，即有P=(i,j,D,A,t,L)；资源冲突消解进程如下：步骤1：工作流对象进入堆栈；步骤2：工作流对象从堆栈弹出，并进行冲突检测：当下述公式满足时，判断对象的实施为有冲突实施：((Ag，i∩Ah,j∩…∩Ak,l)≠φ)∧((Lg，i∨…∨Lh，j)=0)∧((Li，k∧…∧Lk，l)=1)；步骤3：消解冲突步骤：当两对象的实施为有冲突实施时，优先级高的对象获得即时实施，并锁定相应空域；而优先级低的对象被压入堆栈，返回步骤2；随着时间片推进，当堆栈为空时，结束工作流执行中的资源冲突消解进程。该工作流执行中的资源冲突消解方法适用范围广，能有效减轻工作量中的资源冲突。

主权项

一种工作流执行中的资源冲突消解方法，其特征在于，用一个六元组表示对象P，即有P=(i,j,D,A,t,L)；其中，i,j为不相关的正整数，记i为用户号，j为属于用户i的有序对象号，D为对象描述，A为P的有界作用域，t为P的到达时间，即对象P投入应用的时间点,L表示对象P的修改属性，L＝1为允许被其他对象修改，L＝0则不允许被其他对象修改；多个用户共同参与对于对象P的工作流；用户数为N，对象序列为1,2,3,…,则标记某一特定的对象为Pi,j，与之相对应的有Di,j，Ai,j，ti，j，Li，j；记无冲突抢占为C1，有冲突抢占为C2；称C1或C2为1时为成功抢占，C2＝0为失败抢占；资源冲突消解进程如下：步骤1：工作流对象进入堆栈；步骤2：工作流对象从堆栈弹出，并进行如下冲突检测：当下述两公式之一得到满足时，判断对象的实施为无冲突实施：(a)(Ag,i∩…∩Ak,l)＝φ；(b)((Ag，i∩Ah,j∩…∩Ak,l)≠φ)∧(Lg，i＝0)∧((Li，k∧…∧Lk,l)=1)而当下述公式满足时，判断对象的实施为有冲突实施：((Ag，i∩Ah，j∩…∩Ak,l)≠φ)∧((Lg，i∨…∨Lh,j)=0)∧((Li，k∧…∧Lk,l)=1)步骤3：消解冲突步骤：当两对象的实施为有冲突实施时，优先级高的对象获得即时实施，并锁定相应空域；而优先级低的对象被压入堆栈，返回步骤2；随着时间片推进，当堆栈为空时，结束工作流执行中的资源冲突消解进程。