| Next-Generation Network (NGN) is the evolving goal of current telecommunication networks. The separation between services and transport network is the basic character of NGN. How to control transport network, support open service development, provide users flexible and abundant service is the key problem to be well researched in NGN. NGN needs the characters of opening, distribution and synthesizing, although, Current telecommunication networks couldn't satisfied this.The thesis mainly focused on research of the service modeling technology of NGN. The thesis mainly solved the problems as following:The development background of NGN and the corresponding research projects are introduced, based on this foundation, the author analyzed the facing challenges of the NGN, and puts forward the author proposes that, NGN includes network device chain and service chain, could be separated into network domain, service domain and management domain.The author introduced the service modeling methods in the telecommunication network, and with mCRL the UA behavior is formalized. The author believes that the correctness and security of service is important to network entity and the correctness and security should be validated before being loaded into network entity, therefore, in this thesis, with process algebra, the author analyse the correctness of service control protocol. |
PDF Full Text Request