文摘
英文文摘
声明
第一章 引言
1.1 研究背景
1.2 研究目标及关键问题
1.3 论文的组织结构
第二章 相关基础理论和技术
2.1 形式化理论与ADL相关研究
2.2 XML技术概述
2.3 本章小结
第三章 基于XML的网络服务体系结构建模方法
3.1 网络体系结构与服务
3.2 网络服务体系结构参考模型
3.3 基本建模元素抽象
3.4 基于XML的网络服务体系结构描述方法
3.5 FTP/TCP/IP协议族子集的建模
3.6 本章小结
第四章 基于XML的网络服务体系结构仿真方法
4.1 网络仿真技术概述
4.2 网络服务体系结构仿真方法
4.3 本章小结
第五章 原型系统的研究和实现
5.1 系统概述
5.2 功能及实现
5.3 本章小结
第六章 实验与分析
6.1 FTP/TCP/IP协议族子集的图形化建模示例
6.2 TCP协议仿真
6.3 体系结构仿真
6.4 实验分析
第七章 总结与展望
7.1 论文的工作总结
7.2 存在的不足与进一步的展望
致谢
参考文献
附录
作者在攻读硕士学位期间发表的学术论文