同时，为使高层应用易于对模型进行有效性和一致性检查，采用超图数据结构形式化地定义了上述模型的概念模型。
Besides, in order to facilitate applications to check affectivity and consistency of this model, a formal concept model based on hyper-graph data structure is proposed.
协议正常运行状态模型的建立包括协议形式化描述语法的检查和相关协议状态机的生成；
The foundation of a protocol normal running state model comprises the examination of a protocol formal description expression and the making of a correlation protocol state machine;
协议正常运行状态模型的建立包括协议形式化描述语法的检查和相关协议状态机的生成；
The foundation of a protocol normal running state model comprises the examination of a protocol formal description expression and the making of a correlation protocol state machine;
应用推荐