Formal Description of Network Protocols Using RAISE Specification Language

摘要

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.