工作流的建模与验证
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 绪论 | 第8-13页 |
| ·课题研究背景 | 第8-9页 |
| ·研究的目的和意义 | 第9-10页 |
| ·本文主要工作与创新 | 第10-11页 |
| ·本文的内容安排 | 第11-13页 |
| 2 应用到的理论知识 | 第13-21页 |
| ·petri网技术 | 第13-15页 |
| ·petri网的起源与发展 | 第13页 |
| ·petri网相关概念 | 第13-14页 |
| ·petri网在工作流建模中的应用 | 第14-15页 |
| ·xml代数高级网 | 第15-19页 |
| ·代数高级网的概念 | 第15页 |
| ·xml查询代数 | 第15-17页 |
| ·xml的转换语言xslt和xquery | 第17-18页 |
| ·xml代数高级网 | 第18页 |
| ·有色网仿真工具 | 第18-19页 |
| ·JGraph语言介绍 | 第19-21页 |
| 3 动态着色图法验证工作流 | 第21-32页 |
| ·工作流验证的研究现状 | 第21-22页 |
| ·工作流及工作流状态 | 第22-26页 |
| ·工作流基本结构及定义 | 第22-23页 |
| ·动态着色图验证法 | 第23-25页 |
| ·工作流结构正确性类型 | 第25-26页 |
| ·结构异常检测 | 第26-29页 |
| ·死锁检测 | 第26页 |
| ·多实例检测 | 第26-27页 |
| ·循环检测 | 第27-28页 |
| ·重叠结构检测 | 第28-29页 |
| ·验证算法 | 第29-31页 |
| ·算法证明 | 第29-30页 |
| ·相关算法比较 | 第30-31页 |
| ·算法的简单实现 | 第31-32页 |
| 4 XPNTool的设计与实现 | 第32-44页 |
| ·总体设计 | 第32-33页 |
| ·系统背景 | 第32页 |
| ·设计目标 | 第32-33页 |
| ·模块设计与实现 | 第33-44页 |
| ·类型、变量和函数的定义 | 第33-36页 |
| ·对图形的库所、变迁和弧的设置 | 第36-38页 |
| ·将模型保存为xml文件 | 第38-39页 |
| ·界面设计 | 第39-41页 |
| ·模式验证 | 第41-42页 |
| ·查看并编辑库所中的文件 | 第42-43页 |
| ·设置库所的种类 | 第43-44页 |
| 5 实例应用及验证 | 第44-47页 |
| ·哲学家就餐问题 | 第44-45页 |
| ·着色图法验证模型 | 第45-47页 |
| 结论 | 第47-49页 |
| 参考文献 | 第49-50页 |
| 攻读硕士学位期间发表学术论文情况 | 第50-51页 |
| 致谢 | 第51-52页 |
