ISSN 1000-1239 CN 11-1777/TP

• Paper •

### Research on Network Service Architecture and Its Formal Model

Yang Peng and Wu Jiagao

1. (Department of Computer Science and Engineering, Southeast University, Nanjing 210096) (Key Laboratory of Computer Network and Information Integration, Ministry of Education, Southeast University, Nanjing 210096)
• Online:2005-07-15

Abstract: The essence of next generation network is that it is an information infrastructure which not only aims to support various information services, but also can sustain the complete informatization of politics, economy, culture, education and national defense of every country. The traditional network architecture layered only by the basic communication functions can no longer fit the requirements of next generation network. An interaction based network service architecture (INSA) is proposed in this paper, which can act as a reference model for next generation network service architecture. The whole structure and the functions of each layer of INSA are described in detail. An abstract formal model of next generation network service architecture is also proposed, which provides a new approach to describing, analyzing and verifying the service related characters of the next generation network service architecture.