Network Data Collection Formal Analysis Based on Communication Sequential Process

Network data collection is the important part in network management, and the system design involves a lot of concurrency and communication problems. Therefore a formal approach was presented to the formal analysis of network data collection, based on Hoare´s communication sequential process (CSP) and some theoretical results of network formal reaction. Then the formal analysis to network data collection was carried through expanding CSP. A solid mathematics foundation of the correctness test was provided for system design through the precise formal description for network data collection.