文档介绍：第期计算机技术与发展. .
年月、. .
层次颜色工作流网建模与应用
陈伟,文东戈,王昊
黑龙江科技学院计算机与信息工程系,黑龙江哈尔滨
摘要:当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点。提出了层次颜色工作流网的概念,并指
出用层次颜色工作流网不仅能以层次化的方式描述业务过程,而且因为所获得的模型的语义更精确,所以可用此方法描
述具有事务属性并行任务在执行失败时的回滚策略。
关键词:工作流;动态工作流;网;层次颜色工作流
中图分类号: 文献标识码: 文章编号:——一

, —,
,
,,
:, .
, 下一
.
.,
.
:;;;
引言,,,,胛,。其中,是页的集合
自从世纪年代产生以来工作流管理技术得∈,是非层次颜色网,或者是;,
∈,都有≠
到了广泛的应用,并促进了业务过程的发展。文献. ,

给出了工作流的定义。文献给出了基于网的. ; 是替代变迁集合
工作流建模的一些方法。为了有效解决复杂工作流建且,是中的变迁集合; 是页分配
模和动态工作流建模问题,过程建模方法必须得具备函数,:—,任何页都不是自
足够的灵活性和实时的可维护性。该文从系统结构建身的子页;是端口库所集合,,
模思想出发,引入层次颜色工作流网建模方法并是中的库所集合; 是端口库所类型
对其加以分析验证,同时以此为基础探讨工作流的动函数,丁:一,,/,,表
态建模问题。示端口库所是输入结点,表示端口库所是输出结
点,/表示端口库所既是输入结点又是输出结点,
层次颜色工作流网建模法表示该库所是普通库所; 是端口库所分配
. 层次颜色工作流网建模函数,将映射到序偶集合∈,
定义层次颜色网是一个九重序元,用￡×;∈:,∈:丁≠
表示层次颜色网,,,, ,;∈:,
∈:』,函数
与,的定义与在非层次颜色网中的定义一致;
收稿日期:一—
基金项目:黑龙江省教育科研重点计划项目是融合集合的有限集且,表
作者简介:陈伟一,男,黑龙江哈尔滨人,讲师,硕士,研究示集合的子集集合;丁是融合类型函
方向为网络技术及应用、信号处理。数, :一,,; 是初始页
· · 计算机技术与发展第卷
,且, 表示建立在上的多集
的集合。
与层次颜色网定义一样,层次颜色工作流网
的定义也是一个递归定义。
. 层次颜色工作流网合理性
文献已经证明了一个一般工作流网所建模
的过程是合理的充要条件,因此得到定理。颜色工作流网
定理一个颜色工作流网所建模的过程
是合理的,当且仅当是活的而且有界的。
定理如果初始状态是安全的,那么合理的自
由选择颜色工作流网是安全的。证明略。
定理∑,,,,,,,
,, ∑,,,,』、,,,,,

分别表示一个颜色工作流网,满足,
颜色工作流网
,,而且∈。假设∑,,
,,,,,,是用替换中的
而得到的颜色工作流网,那么,和
分别满足下面的条件:
如果是自由选择的,那么和也
颜色工作流网
是自由选择的;如果是结构良好的,那么
和也是结构良好的;如果是安全并合理
的,是合理的,那么是合理的;和
是安全和合