formal semantic model的意思|示意

This paper proposes a formal model of feature interactions based on the semantic of message lists in runtime between the object of service logical programming instance and the network entities.

本文通过对业务在执行过程中，业务逻辑实例与外部实体交互消息的分析，提出一个基于消息序列语义的特征交互形式模型。

Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.

其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。

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虚拟机上的一个解释程序。