| 摘要 | 第5-7页 |
| Abstract | 第7-9页 |
| 第一章 绪论 | 第14-31页 |
| 1.1 论文的研究背景 | 第14-22页 |
| 1.1.1 云制造的兴起与服务组合的应用需求 | 第14-18页 |
| 1.1.2 云制造服务组合建模方法的发展 | 第18-22页 |
| 1.2 国内外相关研究 | 第22-28页 |
| 1.2.1 云制造资源服务化研究现状 | 第22-25页 |
| 1.2.2 服务组合研究现状 | 第25-26页 |
| 1.2.3 基于进程代数的形式化建模与验证研究现状 | 第26-27页 |
| 1.2.4 相关研究现状的总结 | 第27-28页 |
| 1.3 论文的研究工作 | 第28-31页 |
| 1.3.1 研究目标与研究内容 | 第28页 |
| 1.3.2 论文的组织结构 | 第28-31页 |
| 第二章 云制造资源服务化与云平台服务组合方法 | 第31-54页 |
| 2.1 云制造资源分析 | 第31-39页 |
| 2.1.1 云制造服务平台体系架构 | 第31-37页 |
| 2.1.2 面向服务的云制造资源分类 | 第37-39页 |
| 2.2 云制造资源服务化 | 第39-50页 |
| 2.2.1 云制造资源服务化的定义 | 第39-40页 |
| 2.2.2 云制造资源服务化方法与实现技术 | 第40-42页 |
| 2.2.3 云制造资源服务化模型与实例 | 第42-50页 |
| 2.3 云平台服务组合方法 | 第50-53页 |
| 2.3.1 云制造服务组合的定义与目标 | 第50-51页 |
| 2.3.2 ISC智能服务组合 | 第51-53页 |
| 2.4 本章小结 | 第53-54页 |
| 第三章 基于云熵遗传算法的云制造服务组合优化 | 第54-73页 |
| 3.1 云制造服务组合策略分析 | 第54-56页 |
| 3.2 云制造服务组合数学建模 | 第56-62页 |
| 3.2.1 服务组合问题描述 | 第56-57页 |
| 3.2.2 服务匹配度定义及其计算方法 | 第57-58页 |
| 3.2.3 组合和谐度定义及其计算方法 | 第58-59页 |
| 3.2.4 云熵的定义及其计算方法 | 第59-61页 |
| 3.2.5 云制造服务组合多目标优化数学模型 | 第61-62页 |
| 3.3 云熵遗传算法的实现 | 第62-67页 |
| 3.3.1 编码策略 | 第64-65页 |
| 3.3.2 适应度函数构造 | 第65-66页 |
| 3.3.3 选择操作 | 第66页 |
| 3.3.4 交叉操作 | 第66-67页 |
| 3.3.5 变异操作 | 第67页 |
| 3.4 组合优化案例分析 | 第67-72页 |
| 3.5 本章小结 | 第72-73页 |
| 第四章 云制造服务交互场景形式化建模 | 第73-85页 |
| 4.1 云制造服务组合形式化模型 | 第73-74页 |
| 4.2 云制造服务交互场景形式化模型 | 第74-83页 |
| 4.2.1 云制造服务的基本交互场景 | 第74-76页 |
| 4.2.2 FM4CMSIS模型的形式化定义 | 第76-77页 |
| 4.2.3 FM4CMSIS模型执行过程的形式化描述及变迁规则 | 第77-79页 |
| 4.2.4 FM4CMSIS模型的主要属性 | 第79-81页 |
| 4.2.5 FM4CMSIS模型应用示例 | 第81-83页 |
| 4.3 本章小结 | 第83-85页 |
| 第五章 云制造服务组合进程形式化建模 | 第85-97页 |
| 5.1 扩展进程代数 | 第85-90页 |
| 5.1.1 QoS定义 | 第86-88页 |
| 5.1.2 XPC4CMSC语法 | 第88-89页 |
| 5.1.3 XPC4CMSC操作语义 | 第89-90页 |
| 5.2 云制造服务组合进程形式化模型的XPC4CMSC描述 | 第90-96页 |
| 5.2.1 Sequence组合形式化描述 | 第91-92页 |
| 5.2.2 Parallel组合形式化描述 | 第92-93页 |
| 5.2.3 Choice组合形式化描述 | 第93-94页 |
| 5.2.4 Cycle组合形式化描述 | 第94-95页 |
| 5.2.5 FM4CMSCP模型应用示例 | 第95-96页 |
| 5.3 本章小结 | 第96-97页 |
| 第六章 云制造服务组合形式化验证 | 第97-113页 |
| 6.1 云制造服务组合安全性与可达性验证 | 第97-101页 |
| 6.1.1 形式化模型属性规则描述语言PRDL4FM | 第97-98页 |
| 6.1.2 安全性与可达性的形式化定义 | 第98-99页 |
| 6.1.3 安全性与可达性的形式化验证 | 第99-101页 |
| 6.2 云制造服务组合正确性验证 | 第101-102页 |
| 6.2.1 正确性的形式化定义 | 第101-102页 |
| 6.2.2 正确性的形式化验证 | 第102页 |
| 6.3 云制造服务组合一致性验证 | 第102-104页 |
| 6.3.1 一致性的形式化定义 | 第103页 |
| 6.3.2 一致性的形式化验证 | 第103页 |
| 6.3.3 一致性验证算法分析 | 第103-104页 |
| 6.4 形式化验证实验分析 | 第104-112页 |
| 6.4.1 形式化验证软件实现方案 | 第104-105页 |
| 6.4.2 实验分析 | 第105-112页 |
| 6.5 本章小结 | 第112-113页 |
| 第七章 应用案例 | 第113-149页 |
| 7.1 机加工云服务平台的需求分析 | 第113-114页 |
| 7.2 机加工云服务平台的集成开发环境 | 第114-115页 |
| 7.2.1 集成开发平台构建 | 第114页 |
| 7.2.2 开发工具选用 | 第114-115页 |
| 7.3 云平台应用案例 | 第115-148页 |
| 7.3.1 FM4CMSIS模型的应用案例 | 第115-135页 |
| 7.3.2 FM4CMSIS模型形式化验证的应用案例 | 第135-139页 |
| 7.3.3 ISC智能服务组合的应用案例 | 第139-144页 |
| 7.3.4 FM4CMSCP模型及其验证方法的应用案例 | 第144-148页 |
| 7.4 本章小结 | 第148-149页 |
| 结论 | 第149-153页 |
| 主要工作与结论 | 第149-150页 |
| 本文创新点 | 第150-152页 |
| 展望与设想 | 第152-153页 |
| 参考文献 | 第153-164页 |
| 附录 | 第164-169页 |
| 附录 1 | 第164-165页 |
| 附录 2 | 第165-167页 |
| 附录 3 | 第167-169页 |
| 攻读博士学位期间取得的研究成果 | 第169-172页 |
| 致谢 | 第172-173页 |
| 附件 | 第173页 |
