Network Data Collection Formal Analysis Based on Communication Sequential Process

Author

Bao, Tie ; Liu, Shufen ; Yan, Feng ; Wu, Yaorui ; Li, Xiaochun ; Zhang, Zhanguo ; Zhang, Shuying

Author_Institution

Jilin Univ., Jilin

fYear

2007

fDate

26-28 April 2007

Firstpage

42

Lastpage

46

Abstract

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.

Keywords

multiprocessing systems; telecommunication network management; communication problem; communication sequential process; computer network; concurrency problem; formal analysis; network data collection; network formal reaction; network management; system design; Application software; Collaborative work; Computer network management; Computer networks; Computer science; Data analysis; Personal digital assistants; Protocols; Specification languages; System analysis and design; Communication Sequential Process; Computer Network; Data Collection; Formal Description;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Supported Cooperative Work in Design, 2007. CSCWD 2007. 11th International Conference on

Conference_Location

Melbourne, Vic.

Print_ISBN

1-4244-0963-2

Electronic_ISBN

1-4244-0963-2

Type

conf

DOI

10.1109/CSCWD.2007.4281407

Filename

4281407