工作流执行中的资源冲突消解方法

授权公布号：CN102945154B

工作流执行中的资源冲突消解方法

有效

申请

2012-10-18

申请公布

2013-02-27

授权

2015-08-26

预估到期

2032-10-18

申请号	CN201210398080.1
申请日	2012-10-18
申请公布号	CN102945154A
申请公布日	2013-02-27
授权公布号	CN102945154B
授权公告日	2015-08-26
分类号	G06F9/44
分类	计算；推算；计数;
申请人名称	拓维信息系统股份有限公司
申请人地址	湖南省长沙市岳麓区桐梓坡西路289号

专利法律状态

2015-08-26 授权

状态信息

授权

2013-03-27 实质审查的生效

状态信息

实质审查的生效IPC(主分类):G06F 9/44申请日:20121018

2013-02-27 公布

状态信息

公开

摘要

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