Title :
Formal Description of Network Protocols Using RAISE Specification Language
Author :
Xiang, Gu ; Jianlin, Qiu
Author_Institution :
Sch. of Comput. Sci. & Technol., Nanjing Univ. of Posts & Telecommun., Nanjing, China
Abstract :
RSL is a successful formal language in software engineering. Our work is trying to put it into protocol engineering. The paper studies how to use it to describe a network protocol. Firstly general steps are listed. Then descriptions of AB protocol based on FSM and CSP model are given as examples. The details of describing are also studied in the paper. Practice shows that RSL can describe protocol characteristics more fully and it will be good for protocol verification and testing.
Keywords :
communicating sequential processes; finite state machines; formal languages; formal specification; formal verification; program testing; specification languages; AB protocol verification; CSP model; FSM; RAISE specification language; RSL; formal description; formal language; network protocol characteristics; protocol engineering; protocol testing; software engineering; Clocks; Computer science; Indexes; Mathematical model; Protocols; Receivers; Registers; CSP; FSM; Formal Description; Protocol Engineering; RSL;
Conference_Titel :
Network Computing and Information Security (NCIS), 2011 International Conference on
Conference_Location :
Guilin
Print_ISBN :
978-1-61284-347-6
DOI :
10.1109/NCIS.2011.45
