论文部分内容阅读
This paper discusses a transport protocol and its formal description techniques for local network .The trans-port layer function, the transport services and a transport protocol design in a local network architecture modelare presented. A transport protocol specification using the finite state automata (FSA) is given. Thecorrectness of the protocol is verified by using the reachability tree technique with respect to the protocol properties of completeness ,deadlock and livelock freeness, termination and reachability.
The paper discusses a transport protocol and its formal description techniques for local network. The trans-port layer function, the transport services and a transport protocol design in a local network architecture modelare presented. A transport protocol specification using the finite state automata (FSA) is given. Thecorrectness of the protocol is verified by using the reachability tree technique with respect to the protocol properties of completeness, deadlock and livelock freeness, termination and reachability.