支持模型检查和仿真的工作流建模工具的设计与实现
| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-5页 |
| 目录 | 第5-7页 |
| 引言 | 第7-9页 |
| 第一章 工作流建模和仿真概述 | 第9-15页 |
| 1．1 工作流的基本概念和定义 | 第9-10页 |
| 1．2 工作流建模 | 第10-11页 |
| 1．3 工作流模型检查 | 第11-12页 |
| 1．4 工作流模型的仿真分析 | 第12-13页 |
| 1．5 工作流建模和仿真的国内外研究和开发现状 | 第13-15页 |
| 第二章 工作流建模和仿真工具的需求分析 | 第15-24页 |
| 2．1 基于petri网的信牌驱动工作流模型 | 第15-19页 |
| 2．1．1 模型的组成元素 | 第16-17页 |
| 2．1．2 模型的控制结构 | 第17页 |
| 2．1．3 模型的组成区域 | 第17-18页 |
| 2．1．4 模型的解释执行规则 | 第18-19页 |
| 2．2 工作流建模和仿真工具的功能需求 | 第19-24页 |
| 2．2．1 过程建模 | 第19-20页 |
| 2．2．2 过程文档管理 | 第20页 |
| 2．2．3 模型检查 | 第20-21页 |
| 2．2．4 模型仿真 | 第21-24页 |
| 第三章 工作流建模和仿真工具的设计与实现 | 第24-51页 |
| 3．1 功能模块的设计 | 第24-45页 |
| 3．1．1 过程建模和过程文档管理的功能设计 | 第24-25页 |
| 3．1．2 模型检查 | 第25-27页 |
| 3．1．3 模型仿真 | 第27-45页 |
| 3．1．3．1 模型仿真的步骤 | 第27-28页 |
| 3．1．3．2 模型仿真系统结构 | 第28-29页 |
| 3．1．3．3 仿真场景设置 | 第29-34页 |
| 3．1．3．4 仿真引擎的设计 | 第34-41页 |
| 3．1．3．5 仿真报告生成器的设计 | 第41-45页 |
| 3．1．3．6 模型仿真的局限性 | 第45页 |
| 3．2 数据表的设计 | 第45-49页 |
| 3．2．1 仿真数据库的设计 | 第45-48页 |
| 3．2．2 过程定义数据库表的设计 | 第48-49页 |
| 3．3 关于实现技术的一些探讨 | 第49-51页 |
| 3．3．1 过程模型的存储和模型文件的解析 | 第49-50页 |
| 3．3．2 仿真运行是否结束的判断 | 第50-51页 |
| 第四章 结束语 | 第51-52页 |
| 附录： 工作流相关术语解释 | 第52-54页 |
| 参考文献 | 第54-56页 |
| 致谢 | 第56页 |
