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

Volume

1

fYear

2011

fDate

14-15 May 2011

Firstpage

185

Lastpage

188

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Network Computing and Information Security (NCIS), 2011 International Conference on

Conference_Location

Guilin

Print_ISBN

978-1-61284-347-6

Type

conf

DOI

10.1109/NCIS.2011.45

Filename

5948714