| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-14页 |
| ·选课题研究背景及意义 | 第9-10页 |
| ·国内外研究动态 | 第10页 |
| ·目前存在问题 | 第10-12页 |
| ·本文的研究内容 | 第12页 |
| ·本文的组织结构 | 第12-14页 |
| 第2章 Petri 网简介及其到工作流建模的映射 | 第14-19页 |
| ·常用建模理论介绍及对比 | 第14-15页 |
| ·UML 及 UML 活动图建模 | 第14页 |
| ·Pi 演算建模 | 第14-15页 |
| ·Petri 网建模 | 第15页 |
| ·三种建模方法比较 | 第15页 |
| ·Petri 网理论 | 第15-17页 |
| ·传统 PETRI 网 | 第15-16页 |
| ·高级 PETRI 网 | 第16-17页 |
| ·PETRI 网概念到工作流建模的映射 | 第17页 |
| ·工作流网 WF-net | 第17-18页 |
| ·本章小结 | 第18-19页 |
| 第3章 工作流引擎的中间件和基于 FLEX 的工作流定义端的研究与设计 | 第19-33页 |
| ·FLEX 及 Web service 简介 | 第19-23页 |
| ·FLEX 介绍 | 第19-21页 |
| ·FLEX 的事件处理方式 | 第21-22页 |
| ·FLEX 的交互模型 | 第22页 |
| ·Web service 介绍 | 第22-23页 |
| ·基于 B/S 结构的工作流引擎总体构架 | 第23-24页 |
| ·基于 Web Service 技术的工作流引擎中间件的设计 | 第24-28页 |
| ·工作流引擎定义端通讯模型 | 第24页 |
| ·FLEX 与 Web Service 中间件的通信 | 第24-26页 |
| ·数据库表设计 | 第26-28页 |
| ·工作流引擎定义端设计 | 第28-32页 |
| ·定义端基本组件 | 第28-29页 |
| ·定义端元素容器 | 第29-30页 |
| ·定义端检验模块 | 第30-31页 |
| ·定义端各操作执行顺序 | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 第4章 基于矩阵模型和状态转换的工作流结构验证算法的设计 | 第33-44页 |
| ·工作流形式化定义所用到的元素 | 第33页 |
| ·工作流定义过程中的常见错误 | 第33-35页 |
| ·死锁 | 第34页 |
| ·活锁 | 第34页 |
| ·死循环 | 第34-35页 |
| ·多实例 | 第35页 |
| ·其他错误示例 | 第35页 |
| ·工作流的合理性 | 第35-36页 |
| ·工作流结构验证算法 | 第36-39页 |
| ·算法分析 | 第39-42页 |
| ·相关算法比较 | 第42-43页 |
| ·本章小结 | 第43-44页 |
| 第5章 工作流引擎解释端的研究与设计 | 第44-48页 |
| ·工作流实例流转原理 | 第44-45页 |
| ·解释端的主要作用 | 第45页 |
| ·本引擎解释端的实现 | 第45-47页 |
| ·本章小结 | 第47-48页 |
| 第6章 应用实例展示 | 第48-55页 |
| ·某供电公司修试所信息管理系统简介 | 第48页 |
| ·工作流引擎在检修流程中的应用示例 | 第48-54页 |
| ·本章小结 | 第54-55页 |
| 第7章 结论与展望 | 第55-57页 |
| ·总结 | 第55-56页 |
| ·工作展望 | 第56-57页 |
| 参考文献 | 第57-60页 |
| 在硕士研究生学习期间发表的学术论文及其他成果 | 第60-61页 |
| 致谢 | 第61页 |
