| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-23页 |
| ·研究背景 | 第10-16页 |
| ·数字化制造 | 第10-11页 |
| ·网络化制造 | 第11-12页 |
| ·分布式计算技术 | 第12-16页 |
| ·网络化制造研究现状 | 第16-19页 |
| ·国外研究现状 | 第16-18页 |
| ·国内研究现状 | 第18-19页 |
| ·网络化制造的关键技术 | 第19-20页 |
| ·一种基web 服务的网络化协同制造平台体系结构 | 第19页 |
| ·资源信息的有序化 | 第19页 |
| ·网络化协同制造平台系统的安全 | 第19-20页 |
| ·本文工作 | 第20-23页 |
| ·研究路线和方法 | 第20页 |
| ·上要研究内容和成果 | 第20-21页 |
| ·论文组织 | 第21-23页 |
| 第二章 面向全球的分布式计算解决方案 | 第23-42页 |
| ·前言 | 第23-24页 |
| ·传统分布式计算 | 第24-30页 |
| ·分布式对象技术 | 第24-27页 |
| ·传统分布式计算技术的不足 | 第27-30页 |
| ·基于 Web Services 的解决办案 | 第30-41页 |
| ·Web Services 体系结构 | 第31-33页 |
| ·Web Services 面向分布式计算协议栈 | 第33-36页 |
| ·3 基于 Web Services 的分布式计算与集成 | 第36-41页 |
| ·小结 | 第41-42页 |
| 第三章 基于 Web 服务的协同制造平台 NCMPws 体系结构 | 第42-51页 |
| ·背景 | 第42-46页 |
| ·现有网络化制造技术的不足 | 第42-43页 |
| ·研究现状 | 第43-45页 |
| ·NC:MPws 的总体需求分析 | 第45-46页 |
| ·NCMPws 体系结构 | 第46-50页 |
| ·NCMPws 的分层体系结构 | 第46-47页 |
| ·NCMPws 的运行框架 | 第47-50页 |
| ·小结 | 第50-51页 |
| 第四章 基于扩展 UDDI 的制造服务管理 | 第51-67页 |
| ·制造服务的封装及调用 | 第51-56页 |
| ·制造资源共享要求 | 第51-52页 |
| ·基于 Web 服务的制造服务封装 | 第52-56页 |
| ·带监测机制的扩展 UDDI 服务管理中心 | 第56-63页 |
| ·UDDI 协议 | 第56-59页 |
| ·节点的加入/退出机制 | 第59-60页 |
| ·UDDI 监测协议 MP | 第60-61页 |
| ·服务管理中心 | 第61-63页 |
| ·服务管理中心设计办案 | 第63-65页 |
| ·资源服务无数据模型 | 第65-66页 |
| ·小结 | 第66-67页 |
| 第五章 Web 服务驱动的网络化制造链过程建模 | 第67-83页 |
| ·Web 服务驱动的网络化制造链的概念 | 第67-70页 |
| ·Web 服务驱动的网络化制造链的定义 | 第67-68页 |
| ·Web 服务驱动的网络化制造链的特点 | 第68页 |
| ·Web 服务驱动的网络化制造链的形式化描述 | 第68-70页 |
| ·活动网络图工作流模型 | 第70-74页 |
| ·活动网络图及其 T 作流模型 | 第70-74页 |
| ·基于扩展活动网络图工作流模型的网络化制造链 | 第74-76页 |
| ·基于扩展活动网络图 T 作流模型的网络化制造链概念模型 | 第74-76页 |
| ·过程执行单元的划分策略 | 第76页 |
| ·模型验证 | 第76-79页 |
| ·模型合理性定义 | 第76-77页 |
| ·验证算法 | 第77-79页 |
| ·工作流过程模型的实现 | 第79-81页 |
| ·制造链模型的结构化描述 | 第79页 |
| ·对象模型的 XML 描述 | 第79-80页 |
| ·XML 文档对象模型的 COM 实现 | 第80-81页 |
| ·小结 | 第81-83页 |
| 第六章 制造服务的发现问题研究 | 第83-107页 |
| ·概述 | 第83-85页 |
| ·相关研究 | 第83-84页 |
| ·服务描述 | 第84页 |
| ·存在的不足 | 第84-85页 |
| ·wleb Serices 的制造服务描述 | 第85-93页 |
| ·通用 Wleb 服务描述模型 | 第85-87页 |
| ·制造服务本体 MSOnto | 第87-90页 |
| ·基于 MSOnto 本体论的 Wleb 服务描述语言 LWSDL | 第90-93页 |
| ·基于 DMSM 的 Wleb 服务定位 | 第93-95页 |
| ·假设和定义 | 第94页 |
| ·基于节点关键字服务定位算法 SLK | 第94-95页 |
| ·基于语义的web 服务匹配 | 第95-99页 |
| ·语义服务匹配类型 | 第95-96页 |
| ·概念语义相似度计算函数 | 第96-97页 |
| ·服务匹配层次 | 第97-98页 |
| ·服务语义匹配度计算 | 第98页 |
| ·实验分析 | 第98-99页 |
| ·QoS 驱动的web 服务匹配 | 第99-106页 |
| ·web 服务评价 | 第99-101页 |
| ·QoS 驱动的服务匹配算法 SMDQ | 第101-106页 |
| ·小结 | 第106-107页 |
| 第七章 web 服务的合成 | 第107-122页 |
| ·Wleb 服务合成概述 | 第107-110页 |
| ·Web 服务合成办法概述 | 第107-108页 |
| ·服务合成建模语言 | 第108-109页 |
| ·web 服务合成理论基础 | 第109-110页 |
| ·Web 服务合成研究现状 | 第110-113页 |
| ·国外研究现状 | 第111-112页 |
| ·国内研究现状 | 第112-113页 |
| ·前向链动态服务合成及其优化算法 | 第113-117页 |
| ·动态服务组合备选集构造算法 | 第114-115页 |
| ·服务合成的全局优化 | 第115-117页 |
| ·一种基于定理证明的服务合成办法 | 第117-121页 |
| ·线性逻辑语法 | 第117页 |
| ·线性逻辑表达式 | 第117-118页 |
| ·合成方法 | 第118-119页 |
| ·应用实例 | 第119-121页 |
| ·小结 | 第121-122页 |
| 第八章 结论与进一步工作 | 第122-124页 |
| ·结论 | 第122-123页 |
| ·进一步工作的展望 | 第123-124页 |
| 参考文献 | 第124-135页 |
| 攻读博十学位期间的研究成果 | 第135-136页 |
| 致谢 | 第136-137页 |
| 声明 | 第137页 |
