文摘
英文文摘
声明
第一章引言
1.1 研究背景
1.1.1 网络体系结构研究的发展及其所面临的问题
1.1.2 网络体系结构的形式化建模研究
1.2 研究目标及关键问题
1.3 论文组织及内容概览
第二章基础理论
2.1 相关形式化理论与技术
2.1.1 通信顺序进程
2.1.2 形式化描述语言
2.2 网络体系结构与服务
2.3 本章小结
第三章面向服务的网络体系结构建模方法
3.1 面向服务的新型网络体系结构参考模型INSA
3.2 面向服务的网络体系结构形式化建模
3.2.1 网络体系结构形式化建模的目标
3.2.2 INSA抽象形式化模型
3.2.3 对INSA形式化模型的分析与改进
3.3 本章小结
第四章 网络体系结构形式化描述语言研究
4.1 相关形式化描述语言
4.2 INSADL
4.3 对INSADL的讨论与分析
4.4 面向服务、支持多方交互建模的形式化描述语言研究
4.4.1 实体构件描述
4.4.2 交互连接件描述
4.4.3 连接装配关系描述
4.4.4 相宜连接性质讨论
4.4.5 复合实体构件描述
4.5 本章小结
第五章面向服务的网络体系结构形式化建模法的应用
5.1 FTP/TCP/IP协议族子集的建模
5.2 P2P应用层组播系统的建模
5.3 本章小结
第六章网络体系结构的形式化分析与验证
6.1 相关理论分析
6.1.1 形式化验证技术概述
6.1.2 数据独立原理与技术
6.1.3 基于CSP的验证工具及技术
6.1.4 构件连接与软件体系结构的验证
6.2 基于INSADL的网络体系结构验证工具
6.2.1 面向解析的INSADL简化与改进
6.2.2 解析及验证工具的实现
6.3 本章小结
第七章结束语
7.1 论文主要贡献及创新点
7.2 存在的不足及未来进一步研究工作
致谢
参考文献
附录
作者在攻读硕士学位期间发表的学术论文