摘要
为了达到简化分析过程定义的运行时间复杂度的目的,采用构造工作流网过程定义(■,i)覆盖图而获得连续时间SPN(■,i)对应的CTMC状态空间的分析方法,计算出(■,i)中每个可达标识的稳定概率P[Mi],得到过程定义的平均运行时间T。该方法只与过程定义中变迁服务时间和工作流网的过程逻辑有关,克服了涉及工作流管理系统和工作流执行引擎选择的局限性。通过实例验证了该分析方法的优越性,并得出过程定义时间性能分析方法。
In order to simplify the runtime complexity of analyzing the process definition in the system, the workflow net （Wf-Net） process definition（PN,i） overlay was structured to obtain the analysis method of CTMC state space corresponding to continuous time SPN（PN,i）, calculate the stability probability（P[M1]） for each reachable marking in （PN,i）, and obtain the average runtime T of the process definition. This method is related only to the two key factors： changes of the service time in the process definition and the process logic of workflow net. It overcame the limitation of the workflow management system and the workflow execution engines. The superiority of this method was confirmed by examples. The time performance analy- sis method for process definition was obtained.
出处
《现代电子技术》
2011年第6期62-65,共4页
Modern Electronics Technique
基金
陕西省教育科学"十一五"规划课题(SGH0902298)
