基于语义的自动化服务组合研究
| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 目录 | 第7-9页 |
| 图表目录 | 第9-10页 |
| 第1章 绪论 | 第10-14页 |
| ·研究背景 | 第10-11页 |
| ·研究内容 | 第11-12页 |
| ·论文的主要贡献 | 第12页 |
| ·论文的组织和结构 | 第12-14页 |
| 第2章 Web服务和SOA | 第14-22页 |
| ·Web服务 | 第14-18页 |
| ·面向服务的体系结构 | 第18-21页 |
| ·小结 | 第21-22页 |
| 第3章 Web服务组合技术 | 第22-32页 |
| ·介绍 | 第22-23页 |
| ·服务组合的主要内容 | 第23-26页 |
| ·自动化服务组合框架 | 第26-28页 |
| ·主要的服务组合技术 | 第28-31页 |
| ·小结 | 第31-32页 |
| 第4章 服务的语义化描述 | 第32-44页 |
| ·介绍 | 第32-33页 |
| ·描述逻辑 | 第33-38页 |
| ·OWL-S | 第38-42页 |
| ·小结 | 第42-44页 |
| 第5章 基于行为模型的服务组合 | 第44-56页 |
| ·介绍 | 第44页 |
| ·服务行为模型描述 | 第44-46页 |
| ·服务行为模型的形式化描述 | 第46-48页 |
| ·服务行为的语义描述 | 第48-51页 |
| ·服务的可组合性和组合算法 | 第51-53页 |
| ·算法实现 | 第53-54页 |
| ·小结 | 第54-56页 |
| 第6章 服务组合中的消息匹配 | 第56-68页 |
| ·介绍 | 第56页 |
| ·线性逻辑 | 第56-58页 |
| ·基于线性逻辑的服务语义描述 | 第58-63页 |
| ·服务组合的满足性验证 | 第63-66页 |
| ·算法实现 | 第66-67页 |
| ·小结 | 第67-68页 |
| 第7章 服务组合运行框架 | 第68-84页 |
| ·介绍 | 第68-69页 |
| ·系统架构 | 第69-72页 |
| ·服务Agent的架构 | 第72-74页 |
| ·基于BEPL的中介服务 | 第74-82页 |
| ·小结 | 第82-84页 |
| 第8章 结束语 | 第84-86页 |
| 参考文献 | 第86-92页 |
| 作者简历及科研成果 | 第92-94页 |
| 致谢 | 第94页 |
