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.

[1]  Rainer Koschke,et al.  Dynamic object process graphs , 2006, Conference on Software Maintenance and Reengineering (CSMR'06).

[2]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[3]  Li Li.  Towards a denotational semantics of timed RSL using duration calculus , 2008, Journal of Computer Science and Technology.

[4]  Perfecto Mariño Espiñeira,et al.  Using LOTOS in the specification of industrial bus communication protocols , 2004, Comput. Networks.

[5]  Gregor von Bochmann,et al.  Some notes on the history of protocol engineering , 2010, Comput. Networks.

[6]  Anne Elisabeth Haxthausen,et al.  The Raise Specification Language , 1992 .