工作流模型结构验证及运行仿真的研究与实现

随着工作流技术的发展以及《专业流程辅助管理系统》的实施,进一步推进了电力企业标准化和流程化的建设工作。但同时也对工作流技术提出了更高的要求,工作流结构验证与运行仿真成为工作流技术研究的新热点。 本文首先对《专业流程辅助管理系统》的工作流引擎深入研究,分析其工作流模型及其特点,并确定本文研究的对象以及实现的目标。 在对工作流模型特点及现有的工作流模型结构验证方法做了深入研究的基础上,提出了一种基于Warshall算法的工作流结构验证方法和5条结构验证规则。该方法基于离散数学图论知识,将工作流图转化为邻接矩阵表示,采用Warshall算法计算得出邻接矩阵的可达矩阵,并结合5条验证规则,分析得出结构验证结果。该方法的使用,成功验证了工作流模型最基本的结构问题,简化了工作流结构验证过程,且具有一定通用性。 本文建立了一个工作流模型运行仿真模型,并针对该模型设计了仿真方法,该模型基于离散事件系统理论,采用基于事件调度的仿真方法,仿真时钟采用面向事件的推进方式,随机变量的生成则采用反变换法。 本文使用JSF与EJB构件技术设计并开发了工作流结构验证及运行仿真平台,论文中给出了平台的总体设计方案,并详细介绍了关键功能的实现方法；该平台已试用于《专业流程辅助管理系统》后期运维工作中,达到了预期的效果,验证了平台的实用性和高效性。