Formal Description Model的意思|示意

At present, there isn't a clear definition and description of spatiotemporal topological relationships which is a conceptual and formal basis of spatiotemporal data model.

目前，国际上对于作为时空数据模型概念和形式化基础的时空拓扑关系定义和描述还没有一个明确的阐述。

Alternatively, the model could be processed into a WSDL file — again a formal description of a Web service.

或者模型被处理成wsdl文件，同样是Web服务的正式描述。

The primary contents are summarized as follows:An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.

对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。

It also introduces perfect automata as an abstract mathematics model of defining the command analyzer. Besides, this paper gives formal description of the command analyzer of the model.

引入了完备自动机作为定义命令分析器的一种抽象数学模型，并用该模型给出了命令分析器的形式化描述。

This paper presents a new hybrid model called FCA for communication protocol formal description.

本文提出了适用于通信协议形式描述的一种新的混合模型，文中称之为FCA混合模型。

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;

协议正常运行状态模型的 建立包括协议形式化描述语法的检查和相关协议状态机的生成；