公开(公告)号：CN102945154B

公开(公告)日：2015-08-26

申请号：CN201210398080.1

申请日：2012-10-18

Applicant: 拓维信息系统股份有限公司

Inventor： 李新宇 ,  宋鹰 ,  沈清 ,  周泽峰 ,  郑年斌 ,  龙炽 ,  王平 ,  王忠强

IPC: G06F9/44

Abstract: 本发明公开了一种工作流执行中的资源冲突消解方法，用一个六元组表示对象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；随着时间片推进，当堆栈为空时，结束工作流执行中的资源冲突消解进程。该工作流执行中的资源冲突消解方法适用范围广，能有效减轻工作量中的资源冲突。

公开(公告)号：CN102945154A

公开(公告)日：2013-02-27

申请号：CN201210398080.1

申请日：2012-10-18

Applicant: 拓维信息系统股份有限公司

Inventor： 李新宇 ,  宋鹰 ,  沈清 ,  周泽峰 ,  郑年斌 ,  龙炽 ,  王平 ,  王忠强

IPC: G06F9/44

Abstract: 本发明公开了一种工作流执行中的资源冲突消解方法，用一个六元组表示对象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；随着时间片推进，当堆栈为空时，结束工作流执行中的资源冲突消解进程。该工作流执行中的资源冲突消解方法适用范围广，能有效减轻工作量中的资源冲突。