| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第1章 绪论 | 第10-17页 |
| ·课题的研究背景及意义 | 第10-12页 |
| ·当前研究现状 | 第12-14页 |
| ·大粒度 Web 服务研究现状 | 第12页 |
| ·Web 服务形式化建模技术研究现状 | 第12-13页 |
| ·企业服务总线研究现状 | 第13-14页 |
| ·本文研究内容 | 第14页 |
| ·论文组织结构 | 第14-16页 |
| ·本章总结 | 第16-17页 |
| 第2章 相关概念及技术介绍 | 第17-24页 |
| ·大粒度 Web 服务 | 第17页 |
| ·大粒度 Web 服务描述语言 | 第17-21页 |
| ·OWL-S(Ontology Web Language for Services) | 第17-18页 |
| ·BPEL 服务组合描述语言 | 第18-19页 |
| ·WS-CDL | 第19-20页 |
| ·WSCI(Web Services Choreography Interface) | 第20-21页 |
| ·Petri 网 | 第21页 |
| ·企业服务总线(Enterprise Service Bus，ESB) | 第21-23页 |
| ·企业服务总线的特点 | 第22页 |
| ·企业服务总线的整体架构 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 第3章 大粒度 Web 服务的相容性研究 | 第24-42页 |
| ·服务相容性及其相关定义 | 第24-25页 |
| ·OWL-S 复杂进程的 Petri 网自动建模研究 | 第25-34页 |
| ·OWL-S 复杂进程模型与 Petri 网模型的映射规则 | 第25-27页 |
| ·OWL-S 复杂进程的 Petri 网自动建模方法 | 第27-31页 |
| ·OWL-S 复杂进程的 Petri 网自动建模工具的实现 | 第31-34页 |
| ·基于 Petri 网的 Web 服务相容性分析 | 第34-41页 |
| ·Web 服务相容性性质研究 | 第34-36页 |
| ·基于 Petri 网的服务可达性分析 | 第36-39页 |
| ·基于 Petri 网的服务流程死锁分析 | 第39-41页 |
| ·本章小结 | 第41-42页 |
| 第4章 企业服务总线 Mule 的集成研究 | 第42-56页 |
| ·Mule ESB | 第42-44页 |
| ·Mule ESB 架构研究 | 第44-49页 |
| ·Mule 组件机制研究 | 第45-47页 |
| ·消息处理机制 | 第47-48页 |
| ·并发访问的支持 | 第48-49页 |
| ·Mule 应用集成模式研究 | 第49-50页 |
| ·Mule 消息交换模式 | 第49-50页 |
| ·Mule 消息类型 | 第50页 |
| ·Mule ESB 的服务组合 | 第50-55页 |
| ·Mule ESB 路由 | 第50-52页 |
| ·Mule ESB 路由组合实例 | 第52-55页 |
| ·本章小结 | 第55-56页 |
| 第5章 OWL-S API 与 Mule ESB 的集成研究 | 第56-66页 |
| ·OWL-S API | 第56-58页 |
| ·Mule ESB 与 OWL-S API 的集成模型 | 第58-61页 |
| ·系统原型 | 第58-59页 |
| ·系统设计实现 | 第59-60页 |
| ·开发步骤 | 第60-61页 |
| ·应用实例 | 第61-65页 |
| ·服务组合 | 第61-63页 |
| ·相容性验证 | 第63-65页 |
| ·本章小结 | 第65-66页 |
| 第6章 总结与展望 | 第66-68页 |
| ·研究工作总结 | 第66-67页 |
| ·未来展望 | 第67-68页 |
| 致谢 | 第68-69页 |
| 参考文献 | 第69-72页 |
| 附录 | 第72-73页 |
| 详细摘要 | 第73-76页 |
