基于Petri网的工作流模型验证
| 摘要 | 第1-3页 |
| Abstract | 第3-7页 |
| 第一章 绪论 | 第7-15页 |
| ·研究背景 | 第7-10页 |
| ·业务过程建模与分析技术 | 第10-11页 |
| ·业务过程建模方法 | 第10页 |
| ·工作流模型分析技术 | 第10-11页 |
| ·国内外关于模型正确性验证的背景及成果 | 第11-13页 |
| ·本文的目标及主要工作 | 第13-14页 |
| ·本论文的内容安排 | 第14-15页 |
| 第二章 PETRI 网基本概念和理论 | 第15-26页 |
| ·PETRI 网 | 第15-23页 |
| ·Petri 的概念 | 第15-18页 |
| ·Petri 网的动态与结构属性 | 第18-20页 |
| ·Petri 网子类 | 第20-22页 |
| ·扩展的高级Petri 网 | 第22-23页 |
| ·PETRI 网的分析技术 | 第23-25页 |
| ·Petri 网的分析方法 | 第23-24页 |
| ·基于Petri 网技术的工作流分析 | 第24-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 业务过程合理性验证方法 | 第26-35页 |
| ·可达图验证方法 | 第26-28页 |
| ·可达图的构造方法 | 第26-28页 |
| ·可达图验证方法的不足 | 第28页 |
| ·工作流网的合理性 | 第28-29页 |
| ·自由选择工作流网的验证 | 第29-33页 |
| ·模型层次分解 | 第29-31页 |
| ·结构检查 | 第31-32页 |
| ·利用关联矩阵化简 | 第32页 |
| ·其他化简方法 | 第32-33页 |
| ·本章小结 | 第33-35页 |
| 第四章 JBOSS JBPM 工作流管理系统 | 第35-47页 |
| ·JBOSS JBPM 简介 | 第35-36页 |
| ·JBPM 的过程模型 | 第36-37页 |
| ·JBPM 结构组成 | 第37-39页 |
| ·JBPM 程序结构 | 第37-38页 |
| ·JBPM 组件结构 | 第38-39页 |
| ·JBOSS JBPM 流程定义 | 第39-44页 |
| ·流程定义文件 | 第40-42页 |
| ·流程定义的结点和转移定义 | 第42-44页 |
| ·JBPM 的引擎工作机制 | 第44-46页 |
| ·本章小结 | 第46-47页 |
| 第五章 JPDL 到工作流网模型的映射 | 第47-62页 |
| ·JPDL 语言 | 第47-49页 |
| ·ALAST 的任务结构映射方法 | 第49-51页 |
| ·JPDL 到PETRI 网的映射方法 | 第51-55页 |
| ·任务的映射 | 第51-54页 |
| ·Transition 的映射 | 第54-55页 |
| ·JPDL 到工作流网的映射算法 | 第55-56页 |
| ·算法的程序实现 | 第56-61页 |
| ·使用JDOM 解析XML | 第56-58页 |
| ·库所和变迁的数据结构 | 第58-59页 |
| ·JDOM 解析XML 的伪代码实现 | 第59-61页 |
| ·本章小结 | 第61-62页 |
| 第六章 合理性验证方法在JBPM 实例中的应用 | 第62-66页 |
| ·GPD 简介 | 第62页 |
| ·JPDL 转换成工作流网 | 第62-64页 |
| ·流程定义的验证 | 第64-65页 |
| ·本章小结 | 第65-66页 |
| 第七章 总结与展望 | 第66-68页 |
| ·本文主要的工作 | 第66-67页 |
| ·进一步的工作 | 第67-68页 |
| 参考文献 | 第68-71页 |
| 致谢 | 第71-72页 |
| 论文发表情况 | 第72页 |
