formal semantic definition 中文意思是什麼
formal semantic definition
解釋
形式語義定義- formal : adj 1 正式的。2 禮節上的，儀式上的；鄭重其事的。3 形態的，外形的；形式上的；拘泥形式的，刻板的。4...
- semantic : adj. 語義（學）的。
- definition : n. 1. 限定。2. 定義，界說。3. 明確。4. （透鏡的）明晰度。5. （收音機的）清晰度。6. （印花）輪廓。
-
By such a formalization, a general framework is proposed for integration of graphical uml statechart diagrams and formal rsl specifications, which forms the continuation of the previous work on formalization of uml class diagrams in rsl. this allows the definition of uml semantic interpretations that are precise and unambiguous, and also enhancing the readability, conciseness and abstraction of the resulting rsl specification
通過這一形式化提出了一種對圖形化的uml狀態機視圖模型的形式化和rsl規范進行集成的框架，這一工作是對uml類圖在rsl中形式化的繼續，使得人們可以對uml的非形式化模型給出一種精確無二義性的語義解釋，同時也提高了rsl規范的抽象層次，增強了其可讀性簡明性。 -
Firstly, the semantic frame is presented, including the formal definition of actions, environment, agent, negotiation and multi - agent system, and the global states, class of ctn system, run and reachable states for ctn system are also defined
本文首先給出了該形式化系統的語義框架，包括行為、協商策略、環境、 agent 、協商和多agent系統的形式化定義，並對系統的全局狀態、系統類、系統運行和可達全局狀態做了描述。
分享友人