Alternatively, the model could be processed into a WSDL file — again a formal description of a Web service.
或者模型被处理成wsdl文件，同样是Web服务的正式描述。
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.
目前，国际上对于作为时空数据模型概念和形式化基础的时空拓扑关系定义和描述还没有一个明确的阐述。
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.
引入了完备自动机作为定义命令分析器的一种抽象数学模型，并用该模型给出了命令分析器的形式化描述。
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数据模型的一个形式化语义描述。
By setting up a hierarchical mechanism motion model for conceptual design through the formal description of function symbol we provide a solid support to the computer aided conceptual motion design.
通过功能符号形式化描述建立分层次的机构概念运动模型，实现对计算机辅助概念运动设计的支持。
This paper presents a new hybrid model called FCA for communication protocol formal description.
本文提出了适用于通信协议形式描述的一种新的混合模型，文中称之为FCA混合模型。
And, the expanded RBAC model-ERBAC model and the formal description are given.
给出了扩展的RBAC模型—ERBAC模型，并给出了其形式化描述。
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;
协议正常运行状态模型的建立包括协议形式化描述语法的检查和相关协议状态机的生成；
应用推荐