semantic correctness 中文意思是什麼
-
If the sense tagging set only contains the correct sense, semantic tagging is correct. the experiment is done and proves the algorithm can get a very high hit rate and a higher correctness rate
若義項標注集合中包含正確的義項，則語義標注命中；若義項標注集合有且僅有正確的義項，則語義標注準確。 -
In this thesis we also defined the concept of well - formedness as a semantic correctness criteria for conversation policy
本文提供cpdl到cpel的翻譯演算法，並研究cpdl良構性定義和驗證方法。 -
According to the characteristics of workflow process execution, a kind of reactive activity - centered process meta - model is defined and a kind of graphical notation is provided for it, at the same time, for this meta - model, a kind of dynamic semantics is specified, which represents the runtime behavior of the process and can be expressed as a finite state automata. finally, an example is given to illustrate how to apply it to analyze the semantic correctness of process models
根據過程執行的特點，定義了一種以活動為中心的反應式過程元模型，並為其提供了一種圖形表示，同時為此元模型指定了一種體現過程運行時行為的動態語義，該語義可表示為一個有限狀態自動機.最後舉例說明了如何應用它分析過程模型的語義正確性 -
The workflow model is built by uml statecharts in this paper, and the correctness of the control flow in workflow is verified, including the verification of soundness and the properties of semantic - related of the control flow
把驗證uml狀態圖的完全性轉化為驗證全局可達遷移圖的完全性，給出了驗證控制結構完全性和語義相關性質的演算法。 -
Last, the temporal constraints are verified by alur ’ s model checking algorithm. this paper also verify the correctness of the data flow of the workflow. the data flow objects are added into the uml statecharts, and the semantic of data flow is
驗證數據流正確性的過程中，在uml狀態圖中加入了數據流對象，定義了uml狀態圖的數據流語義，根據該語義給出了從uml狀態圖到全局狀態可達圖的轉化演算法，提出了驗證數據流正確性的演算法。
分享友人