《计算机学报》文章摘要   全文下载
文章题目	一种基于不变量结构分解的工作流性能分析方法
作者	庞善臣1),2) 蒋昌俊3)
作者单位	1)(山东科技大学信息科学与工程学院 青岛山东 266510) 2)(清华大学计算机科学与技术系 北京 100084) 3)(同济大学嵌入式系统与服务计算教育部重点实验室 上海 201804)
发表年份	2010
发表月份	5期(908—918)
文章摘要	摘要 基于工作流的Petri网结构化建模方法，证明了工作流网的P-不变量存在性、可覆盖性，给出了一个工作流模型可靠性(soundness)的充要条件，得到了基于P-不变量的多项式分解算法，克服了非多项式算法遍历的不足，降低了时间和空间复杂度，基于工作流网的定义,给出了包含时间等信息的广义工作流网的概念,在结构分解的基础上，利用矩姆函数，建立了工作流的时间性能分析方法，所得结果为工作流模型分析和验证提供了理论基础和依据，并可有效降低工作流系统的分析复杂度，对于分析工作流系统处理业务实例的能力，提高业务处理效率有重要意义，给出的实例验证了算法的有效性. 关键词 广义工作流网；不变量；矩姆函数；多项式算法；性能分析 中图法分类号 TP311 DOI号: 10.3724/SP.J.1016.2010.00908