本论文以研究和建立满足下一代网络发展需求的新一代网络体系结构为研究出发点,重点展开了关于面向服务的新一代网络体系结构及其形式化建模的相关研究。论文首先对网络体系结构这一概念的内涵和外延进行了宏观剖析,提出了对整个网络体系结构研究具有普适意义的“网络体系结构认知框架”,并对传统网络体系结构进行了分析和评述。着重对互联网体系结构进行了关注,采用从矛盾分析入手的方法对以互联网体系结构为代表的传统网络体系结构的优劣利弊进行了深入剖析。然后对面向服务的新一代网络体系结构进行了深入研究,通过总结近年来研究界在改造传统网络体系结构和探索新型网络体系结构等方面的种种努力,全面分析了在研究满足下一代网络发展需求的新一代网络体系结构时所需考虑的种种因素,并对下一代网络的概念进行了明确界定。在此基础上,总结概括了新一代网络体系结构的需求目标,并研究提出了与新一代网络体系结构的需求目标相适应的若干体系结构设计原则,在这些设计原则的指导之下,从宏观角度入手研究并建立起了满足下一代网络发展需求的新一代网络体系结构INSA参考模型。论文还重点关注了新一代网络体结构的形式化建模问题。分析了对新一代网络体系结构进行形式化建模的必要性和可行性,提出了对新一代网络体系结构进行形式化建模具有指导意义的“INSA形式化建模框架”,研究并归纳出了若干形式化建模目标,并依据这些目标对相关形式化理论与技术进行了分析和选取。在此基础上,借助于CSP理论上完备、形式上简洁、概念和符号清晰易懂等特点,以及它在分布并发系统描述方面的天然优势,以新一代网络体系结构INSA参考模型的构件化思想和全方位交互观点作为建模基础,研究并建立起了新一代网络体系结构的INSA抽象形式化模型,并对该抽象形式化模型的相关性质进行了深入研究。论文还在INSA抽象形式化模型的基础上,借鉴了软件体系结构等相关领域的研究成果和研究方法,将新一代网络体结构的形式化建模研究进一步推向深入,提出了一种新一代网络体系结构描述语言INSADL。论文对INSADL的设计思想和主要特色、INSADL语法的类EBNF定义、INSADL主要语法单位等进行了介绍,并且探讨了基于INSADL的网络体系结构分析与检查等内容。最后论文还关注了新一代网络体系结构形式化建模技术的应用,将前面提出的新一代网络体系结构描述语言INSADL在典型网络体系结构实例的形式化建模、以及分布式流媒体服务DSMS的体系结构建模、规约和分析这两个方面进行了实际应用。前一方面主要以传统的OSI网络体系结构和近年来正日渐成为计算机网络研究热点的Web Service体系结构这两个典型网络体系结构实例为研究对象,分别介绍了对它们所进行的INSADL形式化建模研究。后一方面主要以我们依据OMG音/视频流规范自主开发实现的分布式流媒体服务DSMS为例,介绍了在分布式流媒体服务DSMS的设计和开发过程中,对分布式流媒体服务体系结构所进行的INSADL建模、规约和分析等研究。论文对于面向服务的新一代网络体系结构及其形式化建模的研究,为下一代网络及其相应网络体系结构的研究提供了崭新的思路和方法,相关研究结论具有较大的指导意义和参考价值。