它以哲学、心理学为基础建立人的感知过程的语义解释模型。
It establishes the semantic explanation model for human being perception course, based on philosophy and psychology.
最后，它规范化了BPMN元素的执行语义，这有助于清楚地解释BPMN流程模型。
Finally, it formalizes the execution semantics of BPMN elements, which helps to interpret BPMN process models unambiguously.
这是对UMLprofile的典型使用：定义一组解释某个模型的语义。
This is the classical use of a UML profile: To define a set of semantics with which to interpret a model.
本文塑造了正式的函数式程序设计(FFP)语言的一种操作性语义模型，它实质上是LISP虚拟机上的一个解释程序。
Formulized is an operational semantic model of formal functional programming (FFP) language which in essence is an interpreter on the virtual LISP machine.
本文塑造了正式的函数式程序设计(FFP)语言的一种操作性语义模型，它实质上是LISP虚拟机上的一个解释程序。
Formulized is an operational semantic model of formal functional programming (FFP) language which in essence is an interpreter on the virtual LISP machine.
应用推荐