This paper d iscribed the main function of the NTLS, and then put forward the data structure of the NTLS and the dataflowcontrolprotocol of the main function of the NTLS.
本文介绍了网络电脑教室的四大功能模块，并提出实现这些功能的数据结构及其数据流控制规则。
2
TUGEN integrates the features of data-flow and control-flow test and is based on a formal model called EBE, which specifies only the external behavior of a protocol.
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;