formal semantics发音

意思翻译

[语]形式语义学

相似词语短语

formal───n.(Formal)人名；(法)福马尔；n.正式的社交活动；夜礼服；adj.正式的；拘谨的；有条理的

formal education───正规教育；形式教育；形式教育; 正式教育

introducing semantics───引入语义学

formal contract───正式合同；流通票据（可转让的票据）；要式合同；n.流通票据，可转让的票据

formal setting───正式场合；正式环境

generative semantics───[语]生成语义学

formal name───正式名字；官名；官方名字

formal method───形式方法

formal language───[计]形式语言

双语使用场景

The main method of achieving that purpose is modeling the formal semantics of the resources, and to represent it in XML syntax.───它的主要实现方式就是通过对资源的形式化语义描述建模，并且通过XML语法格式来得以实现。

By utilizing OWL classification, it can provide additional vocabulary along with formal semantics to describe the XML schema assets.───通过利用OWL分类，它能够提供额外的词汇表和正式的语义来描述xml模型资源。

modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.───从形式语义的角度出发，对IEC 61850的建模方法和所给出的模型进行了研究。

However, the UML is not a formal language, its lack of rigor and formal semantics prevents it from further developing.───但UML不是形式化的建模语言，缺乏精确的、形式化的语义，因此阻碍了它的进一步发展。

The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.───文中从形式语义的角度出发，对IEC61850的建模方法和所给出的模型进行了研究。

When using process algebra to model workflow, we only consider its formal semantics and its control flow.───在用进程代数建模工作流时，只是考虑了模型的形式化语义以及模型中的各种控制流关系。

Still, the formal semantics for the hierarchical composition of connectors was defined using CSP notation.───还使用CSP符号给出了层次组合连接器的形式语义。

The problems above must be resolved from the perspective of formal semantics.───以上问题必须从形式语义的角度解决。

Therefore, the formal semantics study for UML can improve the veracity, consistency, and extendibility of the language.───因此，对UML进行形式化语义研究，可以增进该语言的准确性、一致性和可扩展性。

英语使用场景