摘要 | 第1-14页 |
ABSTRACT | 第14-17页 |
第一章 绪论 | 第17-38页 |
·研究背景 | 第17-25页 |
·面向服务的体系架构 | 第18-21页 |
·问题的提出 | 第21-24页 |
·应用价值 | 第24-25页 |
·相关研究现状 | 第25-34页 |
·组合服务变化管理技术 | 第26-30页 |
·服务描述本体相关研究 | 第30-31页 |
·领域本体演化技术 | 第31-34页 |
·研究内容 | 第34-36页 |
·论文组织结构 | 第36-38页 |
第二章 基于OWL-S 本体的组合服务演化方法研究 | 第38-62页 |
·组合服务演化问题分析 | 第38-41页 |
·基于OWL-S 本体的组合服务演化方法EM4CS | 第41-47页 |
·基本假设 | 第41-43页 |
·EM4CS 方法概念框架 | 第43-45页 |
·组合服务演化周期 | 第45-47页 |
·EM4CS 方法过程详细描述 | 第47-60页 |
·组合服务演化需求获取阶段 | 第48-50页 |
·组合服务演化需求形式化表示阶段 | 第50-52页 |
·服务描述语法一致性维护阶段 | 第52-53页 |
·服务描述语义一致性维护阶段 | 第53-56页 |
·组合服务演化结果确认阶段 | 第56页 |
·组合服务演化结果发布与传播阶段 | 第56-60页 |
·EM4CS 方法的特点 | 第60-61页 |
·本章小结 | 第61-62页 |
第三章 基于演化本体的组合服务演化需求形式化表示方法 | 第62-86页 |
·问题描述 | 第62-63页 |
·相关定义 | 第63-69页 |
·OWL-S 服务描述核心概念定义 | 第63-65页 |
·OWL-S 服务描述变化操作 | 第65-69页 |
·组合服务演化本体 | 第69-76页 |
·变化操作概念框架 | 第70-74页 |
·变化操作关系推导规则描述 | 第74-75页 |
·演化日志 | 第75-76页 |
·基于演化本体的组合服务演化需求形式化表示 | 第76-83页 |
·维护请求脚本 | 第77-79页 |
·维护请求脚本冲突检测 | 第79-83页 |
·应用实例 | 第83-85页 |
·本章小结 | 第85-86页 |
第四章 OWL-S 服务描述语法一致性检测与辅助维护方法 | 第86-106页 |
·问题描述 | 第86-87页 |
·OWL-S 服务描述语法一致性检测方法 | 第87-93页 |
·语法一致性约束 | 第87-91页 |
·服务描述语法一致性检测方法 | 第91-93页 |
·OWL-S 服务描述语法一致性辅助维护方法 | 第93-100页 |
·服务描述语法不一致的消解 | 第93-96页 |
·服务描述语法一致性辅助维护方法 | 第96-100页 |
·应用实例 | 第100-103页 |
·与OWL-S Editor 的比较 | 第103-105页 |
·本章小结 | 第105-106页 |
第五章 OWL-S 服务描述语义一致性分析方法 | 第106-150页 |
·问题描述 | 第106-107页 |
·OWL-S 服务描述语义一致性的定义 | 第107-108页 |
·OWL-S 服务描述数据语义一致性分析 | 第108-118页 |
·基于推理的数据语义一致性分析方法 | 第110-112页 |
·基于概念相似度计算的分析方法 | 第112-114页 |
·应用实例 | 第114-118页 |
·基于过程模型网的OWL-S 服务描述过程语义一致性分析 | 第118-146页 |
·过程语义一致性的定义 | 第119-121页 |
·过程模型网PM_net | 第121-127页 |
·基于PM_net 的OWL-S 过程模型建模 | 第127-132页 |
·基于PM_net 的OWL-S 服务描述过程语义一致性分析方法 | 第132-139页 |
·过程模型网PM_net 的化简方法 | 第139-143页 |
·应用实例 | 第143-146页 |
·相关工作 | 第146-148页 |
·本章小结 | 第148-150页 |
第六章 组合服务演化支撑原型系统的设计与实现 | 第150-169页 |
·ESS4CS 原型系统概述 | 第150-152页 |
·ESS4CS 系统运行环境 | 第152-154页 |
·基础构件集 | 第152-153页 |
·基础设施 | 第153-154页 |
·组合服务演化支撑工具集 | 第154-162页 |
·服务描述图形化表示工具 | 第154-155页 |
·组合服务演化需求建模工具 | 第155-156页 |
·语法一致性检测与维护工具 | 第156-157页 |
·语义一致性检测工具 | 第157-159页 |
·演化日志分析工具 | 第159-160页 |
·演化结果发布工具 | 第160-162页 |
·应用案例 | 第162-168页 |
·案例描述 | 第162页 |
·运用EM4CS 方法对应用案例进行分析 | 第162-168页 |
·本章小结 | 第168-169页 |
第七章 结束语 | 第169-173页 |
·主要工作与创新点 | 第169-171页 |
·下一步工作和展望 | 第171-173页 |
致谢 | 第173-174页 |
参考文献 | 第174-184页 |
作者在学期间取得的学术成果与参加的科研项目 | 第184-185页 |