| 摘要 | 第1页 |
| ABSTRACT | 第4-7页 |
| 第一章 引言 | 第7-13页 |
| ·课题的背景及意义 | 第7-9页 |
| ·国内外研究现状 | 第9-11页 |
| ·本文工作 | 第11-13页 |
| 第二章 基本理论 | 第13-21页 |
| ·工作流技术 | 第13-16页 |
| ·Web Services 技术 | 第16-20页 |
| ·本章小结 | 第20-21页 |
| 第三章 基于Web Services 工作流模型 | 第21-30页 |
| ·工作流过程元模型 | 第21-23页 |
| ·模型的形式化定义 | 第23-24页 |
| ·模型的存储机制 | 第24-29页 |
| ·本章小结 | 第29-30页 |
| 第四章 基于Web Services 工作流模型的验证 | 第30-46页 |
| ·模型验证设计思想 | 第30页 |
| ·PETRI 网的相关研究 | 第30-32页 |
| ·基于Web Services 的工作流模型到PETRI 网模型的转换 | 第32-35页 |
| ·模型正确性验证 | 第35-45页 |
| ·本章小结 | 第45-46页 |
| 第五章 面向服务的基于BPEL 的访问控制模型 | 第46-53页 |
| ·相关研究 | 第46-47页 |
| ·模型的基本概念 | 第47-50页 |
| ·SOBBAC 模型描述 | 第50-51页 |
| ·SOBBAC 模型的访问控制策略和机理 | 第51-52页 |
| ·本章小结 | 第52-53页 |
| 第六章 基于Web Services 工作流系统的设计与实现 | 第53-63页 |
| ·系统框架设计 | 第53-55页 |
| ·工作流引擎的设计 | 第55-59页 |
| ·工作流实例迁移 | 第59-60页 |
| ·系统的开发环境与实现效果 | 第60-62页 |
| ·本章小结 | 第62-63页 |
| 第七章 结论 | 第63-65页 |
| 参考文献 | 第65-68页 |
| 致谢 | 第68-69页 |
| 在学期间发表的学术论文和参加科研情况 | 第69-70页 |
| 详细摘要 | 第70-78页 |
