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

摘要

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

目录

声明

摘要

第1章 绪论

1．1 课题研究背景及意义

1．2 国内外研究动态

1．2．1 工作流的研究现状

1．2．2 工作流模型结构验证的研究现状

1．2．3 工作流模型仿真的研究现状

1．3 论文内容及组织结构

第2章 工作流概念及专业流程辅助管理系统研究

2．1 工作流相关概念

2．2 专业流程辅助管理系统介绍

2．2．1 系统价值

2．2．2 系统架构

2．2．3 流程建模

2．2．4 基于令牌驱动的工作流引擎

2．3 本章小结

第3章 工作流模型结构验证方法

3．1 工作流模型中的结构完整性

3．1．1 语法完整性

3．1．2 结构完整性

3．2 工作流模型结构验证方法

3．2．1 工作流图的矩阵表示及相关概念

3．2．2 Warshall算法描述

3．2．3 工作流结构验证方法

3．3 方法特点分析

3．4 本章小结

第4章 工作流运行仿真方法

4．1 离散事件系统的仿真原理

4．1．1 离散事件系统概述

4．1．2 离散事件系统的仿真方法

4．1．3 工作流与离散事件系统的关系

4．2 工作流运行仿真过程模型及方法

4．2．1 工作流运行仿真过程模型

4．2．2 随机变量的生成方法

4．3本章小结

第5章 结构验证及运行仿真平台的设计与实现

5．1 平台设计实现总体方案

5．1．1 平台定位

5．1．2 平台框架图

5．1．3 功能结构图

5．2 模块详细设计

5．2．1 流程建模模块

5．2．2 结构验证模块

5．2．3 运行仿真模块

5．3 模块实现

5．3．1 流程建模模块

5．3．2 结构验证模块

5．3．3 运行仿真模块

5．4 本章小结

第6章 应用实例展示

6．1 工作流模型实例

6．2 模型结构验证

6．3 仿真运行

第7章 总结与展望

7．1 论文完成的主要工作

7．2 未来展望

参考文献

在学期间发表论文和参加科研情况

致谢