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

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

youdao

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.

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

youdao

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.

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

youdao