【作者】 杨鹏；

【导师】 顾冠群；

【作者基本信息】 东南大学 ， 计算机应用技术， 2006， 博士

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

【Abstract】 Focusing on the challenge of studying and establishing the new generation network architecture which fits the development requirements of next generation network, this dissertation mainly addresses the research on service-oriented new generation network architecture and its formal modeling. In the beginning of this dissertation, by anatomizing the connotation and denotation of the concept of network architecture, a Network Architecture Cognitive Framework is put forward with the purpose of guiding general network architecture research. And then, the reality and the problems of traditional network architecture are described and analyzed, especially paying more attention to the contradictions of current Internet architecture. Concentrating on establishing new generation network architecture, some basic viewpoints on next generation network and new generation network architecture are outlined, by summarizing and analyzing the research efforts for reconstructing traditional network architecture and exploring new pattern network architecture in recent years. Based on these viewpoints, some very important requirement goals of new generation network architecture and a set of design principles that conform to those requirement goals for constructing new generation network architecture are summarized. Under the direction of those design principles, a service-oriented new generation network architecture, named interaction based network service architecture (INSA), is proposed in this dissertation, which can act as both a concept framework and a reference model for new generation network architecture.Furthermore, this dissertation also makes great effort to model the service-oriented new generation network architecture formally. By analyzing the necessity and feasibility of formal modeling of new generation network architecture, an INSA Formal Modeling Framework is put forward, and some requirement goals of INSA formal modeling are outlined. According to INSA Formal Modeling Framework and these formal modeling requirement goals, communicating sequential processes is selected as the theory foundation for new generation network architecture formal modeling in that it has a lot of advantages. Based on the concept of component and the standpoint of whole interaction of INSA reference model, an INSA abstract formal model of new generation network architecture is founded, and some related properties and characters about INSA abstract formal model are also discussed. Moreover, inspired by the thinking of software architecture research and based on the INSA abstract formal model, a new generation network architecture description language, INSADL, is proposed and described, which can not only describe the entity components and the interaction connectors formally, but also describe the overall architecture of a given network system formally. The design thinking, main characters, grammar specifications, and primary syntax units of INSADL are introduced in detail, and the analysis and examination of network architecture based on INSADL is also discussed.Eventually, this dissertation pay attention to the application of new generation network architecture formal modeling techniques and methods, by using INSADL in two aspects: formal modeling some classic network architecture instances, and modeling, specifying and analysis the architecture of the DSMS system. In the first aspect, the traditional OSI network architecture and the architecture of Web Service, a booming research area, are modeled and described in INSADL. In the second aspect, taking更多还原