摘要
在讨论了工作流模型分析的相关问题后 ,基于工作流网的定义 ,给出了包含资源、时间等信息的多维工作流网的概念 ,并讨论了由基于工作流联盟 (WfMC)过程定义的一种有向网络图模型到自由选择多维工作流网模型的映射 .为了处理工作流模型中的循环结构 ,对具有无环自由选择工作流网到一组变迁组件网 (T component)的分解算法进行了扩展 ,以处理工作流网中存在的循环结构 .进而在模型结构分析的基础上 ,根据工作流模型的实际业务输入速率计算得到工作流网中每个变迁的输入速率 .进而 ,结合开环Jackson排队网络理论 ,详细讨论了对工作流模型进行系统静态性能分析及基于系统资源状态的连续时间马尔科夫链 (CTMC)的系统动态性能分析的方法 ,并以一个实例验证了作者提出的模型性能分析方法的有效性 .
Some relevant problems in the workflow analysis are pointed out, and then the WorkFlow nets (WF-nets) with resource and time information are extended to the Multi-Dimension WorkFlow nets (MDWF-net). A model mapping method from a workflow model built by a graphic process modeling language to the MDWF-net is also given. According to the characteristics of workflow model for business process, the algorithm to decompose a free-choice and acyclic Petri Net (PN) into a set of T -components is extended to a MDWF-net containing iteration structures. Then based on model structure analysis and the theory of open Jackson Network, the methods of how to analyze the performance and the resource configuration of the corresponding workflow model are discussed. The usability of the research results presented in this paper is illustrated by an example.
出处
《计算机学报》
EI
CSCD
北大核心
2003年第5期513-523,共11页
Chinese Journal of Computers
基金
国家"八六三"高技术研究发展计划项目 (2 0 0 1AA415 0 2 0 )
国家自然科学基金 (60 2 740 46)资助