Research on a Formal Description Method of Network Behavior Based on Communication Sequential Process

Formal description of network behavior is the important part in network management. But some problems have not yet to be adequately addressed are the semantic and behavioral aspects of composition in this domain. Therefore a formal description method was presented to network behavior. The method includes a simple formal language, and its semantic was described by CSP. The formal language has graphical syntax with topology style. And it also has some characters that are suitable for the formal research and analysis about some problems in network management. Consequently, the method can be used to provide precise formal description and analysis about network behavior. And a reliable mathematical foundation is also provided for the correctness and validity of software system design.