| 释义 |
formal semantics
释义
[语] 形式语义学
例句
1·Therefore, it is a urgent demand for UML to have the formal semantics .
因此，形式化的语义就成了UML的一个迫切需求。
2·The problems above must be resolved from the perspective of formal semantics .
以上问题必须从形式语义的角度解决。
3·When using process algebra to model workflow, we only consider its formal semantics and its control flow.
在用进程代数建模工作流时，只是考虑了模型的形式化语义以及模型中的各种控制流关系。
|