Research On Service-Oriented New Generation Network Architecture And Its Formal Modeling

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...