| 致谢 | 第1-5页 |
| 摘要 | 第5-6页 |
| Abstract | 第6-10页 |
| 1 绪论 | 第10-15页 |
| ·课题的研究背景与意义 | 第10-11页 |
| ·国内外研究现状 | 第11-12页 |
| ·本文主要研究工作 | 第12-13页 |
| ·本文内容组织结构 | 第13-15页 |
| 2 工作流技术和Web Services 技术相关理论介绍 | 第15-25页 |
| ·工作流技术 | 第15-18页 |
| ·工作流技术的提出与发展 | 第15页 |
| ·工作流技术的相关理论 | 第15-16页 |
| ·工作流系统参考模型 | 第16-18页 |
| ·Web Services 技术 | 第18-22页 |
| ·Web Services 技术的提出与发展 | 第18-19页 |
| ·Web Services 技术的相关理论 | 第19-20页 |
| ·Web Services 体系结构 | 第20-21页 |
| ·Web Services 的优点及应用范围 | 第21-22页 |
| ·Web Services 技术与工作流技术结合 | 第22-23页 |
| ·Web Services 技术与工作流技术结合的可能性 | 第22-23页 |
| ·基于Web Services 的工作流系统关键技术及其实现方法 | 第23页 |
| ·本章小结 | 第23-25页 |
| 3 基于Web Services 的工作流系统新模型 | 第25-35页 |
| ·工作流的过程元模型 | 第25-27页 |
| ·基于Web Services 的工作流系统新模型架构图 | 第27-28页 |
| ·模型的形式化定义 | 第28-29页 |
| ·模型的存储机制 | 第29-34页 |
| ·本章小结 | 第34-35页 |
| 4 基于Web Services 的工作流系统新模型的验证 | 第35-52页 |
| ·模型验证思想 | 第35页 |
| ·Petri 网的相关理论 | 第35-37页 |
| ·基于Web Services 的工作流模型到 Petir 网模型的转换 | 第37-41页 |
| ·模型正确性验证 | 第41-51页 |
| ·模型的正确性 | 第41-42页 |
| ·模型的验证方法 | 第42页 |
| ·模型的验证过程 | 第42-51页 |
| ·本章小结 | 第51-52页 |
| 5 基于Web Services 的工作流系统的设计与实现 | 第52-69页 |
| ·面向过程的工作流系统的体系结构 | 第52-53页 |
| ·工作流引擎设计 | 第53-57页 |
| ·引擎的设计思想 | 第53页 |
| ·工作流引擎结构设计 | 第53-55页 |
| ·引擎各部分的具体实现 | 第55-57页 |
| ·工作流引擎数据模型 | 第57页 |
| ·系统的开发环境与实现效果 | 第57-67页 |
| ·系统的软件环境 | 第57-58页 |
| ·系统实现框架 | 第58-59页 |
| ·系统部署 | 第59-60页 |
| ·系统的实现效果及部分代码 | 第60-67页 |
| ·本章小结 | 第67-69页 |
| 6 结论 | 第69-71页 |
| ·全文总结 | 第69-70页 |
| ·项目展望 | 第70-71页 |
| 参考文献 | 第71-75页 |
| 作者简历 | 第75-77页 |
| 学位论文数据集 | 第77-78页 |
