| 摘要 | 第2-4页 |
| ABSTRACT | 第4-5页 |
| 1 绪论 | 第9-22页 |
| 1.1 选题背景和意义 | 第9-10页 |
| 1.2 国内外研究现状 | 第10-19页 |
| 1.2.1 SDN控制器 | 第10-12页 |
| 1.2.2 服务功能链 | 第12-17页 |
| 1.2.3 策略冲突处理 | 第17-19页 |
| 1.3 主要研究内容 | 第19页 |
| 1.4 主要贡献和创新点 | 第19-20页 |
| 1.5 本文的组织结构 | 第20-22页 |
| 2 服务功能部署系统设计 | 第22-32页 |
| 2.1 基于SDN三层架构的服务功能下发及自动组合系统 | 第22-24页 |
| 2.2 Pyretic/Kinetic语言 | 第24-27页 |
| 2.2.1 Pyretic与Frenetic的异同 | 第24-26页 |
| 2.2.2 Kinetic语言 | 第26-27页 |
| 2.3 策略部署系统逻辑结构 | 第27-31页 |
| 2.3.1 服务功能组合区 | 第28-30页 |
| 2.3.2 状态配置区 | 第30-31页 |
| 2.4 本章小结 | 第31-32页 |
| 3 基于NetCore-M语言的服务功能组合形式化语句设计 | 第32-53页 |
| 3.1 形式语义基本知识 | 第32-33页 |
| 3.2 NetCore-M形式化语言 | 第33页 |
| 3.3 静态转发策略 | 第33-34页 |
| 3.4 富谓词和动态策略 | 第34-36页 |
| 3.5 网络编程的核心演算 | 第36-40页 |
| 3.6 运行时系统 | 第40-42页 |
| 3.7 NetCore-M核心算法 | 第42-48页 |
| 3.7.1 参数 | 第44-45页 |
| 3.7.2 分类表生成 | 第45页 |
| 3.7.3 谓词转化 | 第45-46页 |
| 3.7.4 谓词转化实例 | 第46-48页 |
| 3.8 服务功能路径组合形式化描述 | 第48-52页 |
| 3.9 本章小结 | 第52-53页 |
| 4 服务功能链具体路径可编程组合设计 | 第53-66页 |
| 4.1 服务功能下发及自动部署过程 | 第53页 |
| 4.2 冲突处理 | 第53-61页 |
| 4.2.1 根控制器层面 | 第54-58页 |
| 4.2.2 本地控制器层面 | 第58-61页 |
| 4.3 业务需求转化和部署实例 | 第61-65页 |
| 4.3.1 网络拓扑 | 第62页 |
| 4.3.2 服务功能组合机制 | 第62-65页 |
| 4.4 本章小结 | 第65-66页 |
| 5 服务功能部署系统验证 | 第66-84页 |
| 5.1 实验环境搭建 | 第66-69页 |
| 5.1.1 根控制器客户端配置 | 第66-67页 |
| 5.1.2 Kinetic安装与配置 | 第67-68页 |
| 5.1.3 Mininet安装与配置 | 第68-69页 |
| 5.2 实验测试与验证 | 第69-84页 |
| 5.2.1 实验设计 | 第70页 |
| 5.2.2 实验拓扑 | 第70-71页 |
| 5.2.3 实验操作 | 第71-84页 |
| 6 总结与展望 | 第84-86页 |
| 6.1 论文总结 | 第84页 |
| 6.2 工作展望 | 第84-86页 |
| 参考文献 | 第86-89页 |
| 本文作者硕士期间取得的成果 | 第89-90页 |
| 致谢 | 第90-91页 |
