基于接口和行为语义的Web服务发现与适配研究
致谢 | 第1-7页 |
摘要 | 第7-9页 |
Abstract | 第9-11页 |
目录 | 第11-15页 |
图目录 | 第15-17页 |
表目录 | 第17-18页 |
第1章 绪论 | 第18-30页 |
·研究背景 | 第18-22页 |
·服务计算 | 第18-20页 |
·Web服务发现 | 第20-22页 |
·研究动机与研究意义 | 第22-26页 |
·研究内容与主要贡献 | 第26-28页 |
·本文的组织结构 | 第28-30页 |
第2章 研究基础与现状 | 第30-60页 |
·语义Web服务发现研究框架 | 第30-33页 |
·语义Web服务描述模型 | 第33-44页 |
·基于XML的服务描述模型 | 第33-39页 |
·基于形式化方法的服务描述模型 | 第39-44页 |
·语义Web服务发现方法 | 第44-54页 |
·基于接口语义匹配的服务发现 | 第44-48页 |
·基于行为语义匹配的服务发现 | 第48-54页 |
·语义Web服务适配方法 | 第54-59页 |
·消息接口层服务适配 | 第55-56页 |
·行为协议层服务适配 | 第56-58页 |
·服务质量层服务适配 | 第58-59页 |
·本章小结 | 第59-60页 |
第3章 语义Web服务模型与元数据组织 | 第60-86页 |
·问题分析 | 第60-62页 |
·消息间的产生依赖关系 | 第60-61页 |
·服务描述的形式化建模 | 第61页 |
·服务元数据的组织 | 第61-62页 |
·语义Web服务模型 | 第62-74页 |
·原子服务:服务接口语义模型 | 第63-64页 |
·复合服务:服务行为语义模型 | 第64-67页 |
·基于π演算的Web服务形式化建模 | 第67-74页 |
·π演算基本语法及操作语义 | 第67-69页 |
·原子服务的π演算表达 | 第69-70页 |
·复合服务的π演算表达 | 第70-74页 |
·Web服务元数据组织 | 第74-85页 |
·Web服务元数据分类组织 | 第75-80页 |
·BP神经网络简介 | 第76-77页 |
·Web服务描述的特征向量和输出向量 | 第77-79页 |
·Web服务分类识别模型的自适应调整 | 第79-80页 |
·Web服务元数据索引组织 | 第80-85页 |
·倒排索引记录的创建和维护 | 第80-84页 |
·倒排索引记录的基础操作 | 第84-85页 |
·本章小结 | 第85-86页 |
第4章 基于接口和行为语义的Web服务发现 | 第86-115页 |
·基于接口语义匹配的原子服务发现方法 | 第86-97页 |
·单实例匹配的Web服务发现 | 第87-91页 |
·考虑接口依赖的匹配方法 | 第87-89页 |
·使用倒排索引优化单实例匹配的服务发现 | 第89-91页 |
·多实例组合的Web服务发现 | 第91-95页 |
·考虑即时组合的匹配方法 | 第91-93页 |
·使用倒排索引优化多实例组合的服务发现 | 第93-95页 |
·应用实例 | 第95-97页 |
·基于行为语义等价的复合服务发现方法 | 第97-108页 |
·服务行为等价相关定义 | 第97-100页 |
·服务行为等价的判定方法 | 第100-104页 |
·应用实例 | 第104-108页 |
·实验仿真与结果分析 | 第108-113页 |
·基于接口语义匹配的原子服务发现方法 | 第108-111页 |
·实验准备 | 第108-109页 |
·使用倒排索引对用户响应时间的影响 | 第109-111页 |
·挖掘即时组合对查全率和查准率的影响 | 第111页 |
·基于行为语义等价的复合服务发现方法 | 第111-113页 |
·本章小结 | 第113-115页 |
第5章 Web服务发现结果的语义适配方法 | 第115-130页 |
·语义层服务适配问题概述 | 第115-119页 |
·Web服务接口语义适配方法 | 第119-128页 |
·适配器说明书 | 第120-125页 |
·消息映射 | 第120-122页 |
·活动映射 | 第122-124页 |
·无映射消息处理 | 第124-125页 |
·适配器生成 | 第125-127页 |
·应用实例 | 第127-128页 |
·本章小结 | 第128-130页 |
第6章 Web服务发现原型系统 | 第130-146页 |
·系统框架 | 第130-134页 |
·Web服务发现原型系统——钱塘服务社区 | 第134-145页 |
·服务注册 | 第134-136页 |
·基于分类和QoS信息的可视化服务概览 | 第136-140页 |
·交互式服务行为等价检测工具 | 第140-145页 |
·π演算进程推演工具MWB | 第140-143页 |
·服务上下文计算工具 | 第143-144页 |
·判定服务间的行为等价 | 第144-145页 |
·本章小结 | 第145-146页 |
第7章 总结与展望 | 第146-149页 |
·本文工作总结 | 第146-148页 |
·未来工作展望 | 第148-149页 |
参考文献 | 第149-160页 |
攻读博士学位期间主要的研究成果 | 第160-163页 |
攻读博士学位期间参与的科研项目 | 第163-164页 |
作者简历 | 第164页 |