| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-8页 |
| 1 绪论 | 第8-13页 |
| ·课题的研究背景 | 第8-9页 |
| ·网格服务组合方法的研究现状 | 第9-11页 |
| ·基于工作流的服务组合方法 | 第9-10页 |
| ·基于逻辑推理的服务组合方法 | 第10-11页 |
| ·本文的主要工作 | 第11-13页 |
| 2 网格技术概述 | 第13-19页 |
| ·开放的网格服务体系结构(OGSA) | 第14-15页 |
| ·基本思想 | 第14页 |
| ·网格服务 | 第14-15页 |
| ·网格服务实例的创建过程 | 第15页 |
| ·开放网格服务基础设施(OGSI) | 第15-16页 |
| ·Globus ToolKit | 第16-17页 |
| ·OGSA，OGSI，与GT4 的关系 | 第17-18页 |
| ·小结 | 第18-19页 |
| 3 网格服务描述模型 | 第19-28页 |
| ·引言 | 第19页 |
| ·当前网格服务描述模型 | 第19-22页 |
| ·WSDL 描述标准 | 第19-21页 |
| ·DAML－S 描述模型 | 第21-22页 |
| ·OWL－S 描述模型 | 第22-27页 |
| ·顶层本体 | 第22-23页 |
| ·ServiceProfile | 第23-24页 |
| ·ServiceModel | 第24-26页 |
| ·ServiceGrounding | 第26-27页 |
| ·小结 | 第27-28页 |
| 4 基于 OWL-S 和状态演算的服务组合方法 OWL-SC | 第28-44页 |
| ·基于状态演算来进行服务自动组合 | 第28-36页 |
| ·状态演算基本概念 | 第28-30页 |
| ·状态演算逻辑编程语言 Golog 系列 | 第30-34页 |
| ·在状态演算中增加意愿公理 | 第34-35页 |
| ·Golog 程序的自充分性 | 第35-36页 |
| ·OWL-S 模型到状态演算的映射 | 第36-43页 |
| ·OWLS 中的原子过程 | 第37-38页 |
| ·原子过程的effects 和outputs | 第38-40页 |
| ·原子过程的preconditions 和inputs | 第40-41页 |
| ·OWL-S 中的复合过程 | 第41-43页 |
| ·本章小结 | 第43-44页 |
| 5 基于 Petri 网的模型验证机制研究 | 第44-59页 |
| ·Petri 网概述 | 第44-48页 |
| ·Petri 网简介 | 第44-45页 |
| ·Petri 网的结构 | 第45-46页 |
| ·典型Petri 网的描述 | 第46-48页 |
| ·OWL-S 模型映射为Petri 网 | 第48-51页 |
| ·OWL-S 模型的原子过程映射为Petri 网 | 第48页 |
| ·OWL-S 模型的复合过程映射为Petri 网模型 | 第48-51页 |
| ·模型的验证 | 第51-58页 |
| ·过程模型中的结构冲突 | 第52-53页 |
| ·流程模型的合理性 | 第53页 |
| ·合理流程模型的结构特征 | 第53-54页 |
| ·模型的验证 | 第54-58页 |
| ·小结 | 第58-59页 |
| 6 结论与展望 | 第59-61页 |
| ·论文工作总结 | 第59页 |
| ·进一步的工作 | 第59-61页 |
| 致谢 | 第61-62页 |
| 参考文献 | 第62-64页 |
| 附录 | 第64-65页 |
| 独创性声明 | 第65页 |
| 学位论文版权使用授权书 | 第65页 |
