1) Semantics formal research
语义形式化研究
3) formal semantics
形式化语义
1.
It discribes the weaving process between aspects and core components, as well as the weaving process between aspects themselves in statecharts, and then uses the formal semantics of process algebra to describe extended statecharts.
本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺点。
2.
However,UML does not have a formal semantics,so it could not fulfill the needs of the protocol in precise.
但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。
3.
0 sequence diagram and state diagram,the formal semantics of UML 2.
0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2。
6) semantics
[英][sɪ'mæntɪks] [美][sə'mæntɪks]
语义研究
1.
A long-time study has been launched on the semantics of Mongolian language.
蒙古语语义研究有悠久的历史。
2.
Totally it is carried out in three stages: Dictionary of Translation, Traditional Research on Semantics, and Modern Semantics, and has gained certain achievements.
蒙古语义研究有悠久的历史。
补充资料：语义
语义
semantics
yUyl语义(哭mantics)语言的各个成分的含义。在程序设计语言中，即程序的含义。程序设计语言的语义，一般在语言文本中用自然语言描述，说明用该语言编写的程序的意义，即在计算机上执行时将会做什么。常用的程序设计语言语义的形式描迩方法有:公理语义，代数语义，指称语义和操作语义(参见形式方法)。 语义分奋态语义和动态语义。静态语义指程序的编译含义，即编译程序对程序的理解，包括量的作用域法则、说明、类型匹配等。编译时无法理解、而要到运行时才能理解的含义称为动态语义。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条