一种基于不变量结构分解的工作流性能分析方法

摘要：

基于工作流的Petri网结构化建模方法,证明了工作流网的P-不变量存在性、可覆盖性,给出了一个工作流模型可靠性(soundness)的充要条件,得到了基于P-不变量的多项式分解算法,克服了非多项式算法遍历的不足,降低了时间和空间复杂度,基于工作流网的定义,给出了包含时间等信息的广义工作流网的概念,在结构分解的基础上,利用矩姆函数,建立了工作流的时间性能分析方法,所得结果为工作流模型分析和验证提供了理论基础和依据,并可有效降低工作流系统的分析复杂度,对于分析工作流系统处理业务实例的能力,提高业务处理效率有重要意义,给出的实例验证了算法的有效性.

关键词：广义工作流网、不变量、矩姆函数、多项式算法、性能分析

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

资助基金：国家"九七三"重点基础研究发展规划项目基金2010CB328105;国家自然科学基金90718012,60970001

在线出版日期：2010-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：908-918