Title :
Research on a Formal Description Method of Network Behavior Based on Communication Sequential Process
Author :
Bao, Tie ; Li, Bing ; Wu, Yaorui ; Yao, Zhilin ; Wei, Chuyi
Author_Institution :
Dept. of Comput. Sci. & Technol., Jilin Univ., Changchun
Abstract :
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.
Keywords :
computer network management; program verification; communication sequential process; formal description method; graphical syntax; network behavior; network management; software system design; Application software; Computer network management; Computer network reliability; Computer science; Formal languages; Network topology; Protocols; Quality management; System analysis and design; System recovery; Behavior Semantics; Computer Network; Formal Description; Graphical Syntax;
Conference_Titel :
Pervasive Computing and Applications, 2008. ICPCA 2008. Third International Conference on
Conference_Location :
Alexandria
Print_ISBN :
978-1-4244-2020-9
Electronic_ISBN :
978-1-4244-2021-6
DOI :
10.1109/ICPCA.2008.4783582
