| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-9页 |
| 1 绪论 | 第9-15页 |
| ·问题的提出及研究的意义 | 第9-10页 |
| ·问题的提出 | 第9页 |
| ·研究的理论意义 | 第9-10页 |
| ·研究的应用价值 | 第10页 |
| ·国内外研究现状 | 第10-13页 |
| ·本文解决的主要问题 | 第13-15页 |
| 2 基于 Web Service 的工作流系统架构 | 第15-39页 |
| ·目前的工作流模型以及它们的缺点 | 第15-23页 |
| ·工作流技术的起源与发展 | 第15-19页 |
| ·工作流系统要研究的问题 | 第19-20页 |
| ·综述 | 第20-21页 |
| ·现有的分布式工作流系统的缺点 | 第21-23页 |
| ·基于Web Service 的工作流系统 | 第23-39页 |
| ·Web Service 技术 | 第23-32页 |
| ·基于Web Service 的工作流系统的过程模型 | 第32-39页 |
| 3 基于 Web Service 的工作流系统的优化 | 第39-48页 |
| ·确定的有穷自动机(DFA)技术简介 | 第39-41页 |
| ·基本概念 | 第40-41页 |
| ·服务的并行化分析 | 第41-48页 |
| ·Web service 的行为分析 | 第41-43页 |
| ·引入一个用于建模的情景 | 第43-45页 |
| ·应用DFA 分析Web Service 的特性 | 第45-46页 |
| ·基于DFA 的服务依赖性的分析 | 第46-48页 |
| 4 使用 BPEL4WS 语言表示业务流程 | 第48-54页 |
| ·BPEL4WS 技术细节 | 第48-51页 |
| ·BPEL4WS 的特点 | 第50-51页 |
| ·用BPEL4WS 对分析的方法进行验证 | 第51-54页 |
| 5 全文总结与工作展望 | 第54-56页 |
| 致谢 | 第56-57页 |
| 参考文献 | 第57-60页 |
| 附录 作者在攻读硕士学位论文期间发表论文的目录 | 第60-61页 |
| 独创性声明 | 第61页 |
| 学位论文版权使用授权书 | 第61页 |
