| 摘要 | 第1-4页 |
| ABSTRACT | 第4-10页 |
| 第一章 引言 | 第10-19页 |
| ·论文研究的背景 | 第10-15页 |
| ·现代计算机网络所面临的问题 | 第10-12页 |
| ·新一代网络体系结构研究的必要性及当前研究趋势 | 第12-14页 |
| ·论文关注的新一代网络体系结构及其形式化建模研究 | 第14-15页 |
| ·论文研究的目标及关键问题 | 第15-16页 |
| ·论文研究的目标 | 第15页 |
| ·论文研究的关键问题 | 第15-16页 |
| ·论文组织及内容概览 | 第16-17页 |
| ·论文主要贡献及应用价值 | 第17-18页 |
| ·本章小结 | 第18-19页 |
| 第二章 计算机网络体系结构剖析 | 第19-39页 |
| ·网络体系结构涵义的全面认识 | 第19-24页 |
| ·传统计算机网络体系结构剖析 | 第24-38页 |
| ·传统网络体系结构概观 | 第24-26页 |
| ·互联网的主要发展阶段 | 第26-28页 |
| ·互联网的需求目标及互联网体系结构定义 | 第28-29页 |
| ·互联网体系结构的若干重要设计原则 | 第29-32页 |
| ·现行互联网体系结构所面临的重重矛盾 | 第32-37页 |
| ·未来网络体系结构的研究 | 第37-38页 |
| ·本章小结 | 第38-39页 |
| 第三章 面向服务的新一代网络体系结构模型 | 第39-64页 |
| ·新一代网络体系结构的需求目标 | 第39-47页 |
| ·改造传统网络体系结构和探索新型网络体系结构的种种努力 | 第40-42页 |
| ·新一代网络体系结构的需求目标 | 第42-47页 |
| ·新一代网络体系结构的设计原则 | 第47-53页 |
| ·面向服务的新一代网络体系结构参考模型 | 第53-63页 |
| ·INSA 参考模型的建模理念和特色 | 第53-57页 |
| ·相关术语及INSA 参考模型的各层 | 第57-61页 |
| ·INSA 参考模型的网络功能垂直分面 | 第61-63页 |
| ·本章小结 | 第63-64页 |
| 第四章 新一代网络体系结构的形式化建模 | 第64-94页 |
| ·新一代网络体系结构形式化建模的必要性和可行性 | 第64-65页 |
| ·INSA 形式化建模框架 | 第65-67页 |
| ·新一代网络体系结构形式化建模目标及理论基础 | 第67-70页 |
| ·INSA 形式化建模目标 | 第67-68页 |
| ·相关形式化理论与技术的分析及选取 | 第68-70页 |
| ·新一代网络体系结构的INSA 抽象形式化模型 | 第70-93页 |
| ·新一代网络体系结构形式化建模的立论基础 | 第70-71页 |
| ·实体构件的抽象形式化建模 | 第71-74页 |
| ·交互连接件的抽象形式化建模 | 第74-77页 |
| ·连接装配及相容关系 | 第77-80页 |
| ·INSA 形式化建模图元 | 第80-81页 |
| ·INSA 抽象形式化模型相关性质研究 | 第81-93页 |
| ·本章小结 | 第93-94页 |
| 第五章 新一代网络体系结构描述语言INSADL | 第94-116页 |
| ·形式化描述语言及ADL 相关研究 | 第94-96页 |
| ·新一代网络体系结构描述语言INSADL | 第96-111页 |
| ·INSADL 的设计思想和主要特色 | 第96-98页 |
| ·INSADL 语法的类EBNF 定义 | 第98-103页 |
| ·INSADL 主要语法单位及相关说明 | 第103-111页 |
| ·实体构件类型的INSADL 定义及说明 | 第103-105页 |
| ·交互连接件类型的INSADL 定义及说明 | 第105-106页 |
| ·端口和角色的INSADL 定义 | 第106-108页 |
| ·INSADL 中的消息定义及通道约定 | 第108-110页 |
| ·网络系统及其配置的INSADL 定义 | 第110-111页 |
| ·基于INSADL 的网络体系结构分析与检查 | 第111-115页 |
| ·本章小结 | 第115-116页 |
| 第六章 新型网络体系结构形式化建模技术的应用 | 第116-142页 |
| ·典型体系结构实例的INSADL 建模 | 第116-126页 |
| ·传统OSI 体系结构的INSADL 建模 | 第116-122页 |
| ·Web Service 体系结构的INSADL 建模 | 第122-126页 |
| ·分布式流媒体服务体系结构的INSADL 规约及实现 | 第126-141页 |
| ·分布式流媒体服务简介 | 第126-127页 |
| ·遵从OMG 音/视频流规范的分布式流媒体服务DSMS | 第127-129页 |
| ·分布式流媒体服务DSMS 体系结构的INSADL 规约 | 第129-141页 |
| ·分布式流媒体服务体系结构中的实体构件规约 | 第130-133页 |
| ·分布式流媒体服务体系结构中的交互连接件规约 | 第133-138页 |
| ·分布式流媒体服务的体系结构配置规约及分析 | 第138-141页 |
| ·本章小结 | 第141-142页 |
| 第七章 结束语 | 第142-147页 |
| ·论文主要成果及创新点 | 第143-145页 |
| ·未来进一步研究工作 | 第145-147页 |
| 参考文献 | 第147-158页 |
| 致谢 | 第158-159页 |
| 作者在攻读博士学位期间所发表论文的清单 | 第159-160页 |
| 攻读博士学位期间曾参加和正在参加的科研项目 | 第160页 |
