formal semantics的意思

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進行形式化語義研究，可以增進該語言的準確性、一致性和可擴展性。

英語使用場景