这就是过程模型必须完全和任何执行语义分离的原因。
This is why process models must be completely separate from any execution semantics.
标记是MDA中的一个步骤或技术，在这个步骤当中，附加的信息（不包含在模型本身的语义范围中）能够被加入到模型中，在随后的自动过程中单独使用。
Marking is a step or technique in MDA in which additional information, not within the semantic scope of the model itself, can be added to a model solely for use by automation later.
在细分的过程中，可能会打断预期的模型间语义连接的变更(尽管不希望出现)。
During this refinement, it is possible (although undesirable) for changes to be made that break the expected semantic connections between the models.
它以哲学、心理学为基础建立人的感知过程的语义解释模型。
It establishes the semantic explanation model for human being perception course, based on philosophy and psychology.
通过一个具体的实例介绍了语义对象模型的基本概念及建模过程。
An example is cited to introduced the basic concept and modeling process of a semantic object model.
针对知识发现在实际应用中的问题，提出了一种以领域知识为中心的知识发现过程模型，并将其形式化，描述了其动态语义。
Considering the problems in actual application, this paper proposed a kind of domain knowledge centered know-ledge discovery process model, then formalized it and described its dynamic semantics.
参考显式的设计语义和过程信息，以“腔槽及其边界”形式构造通用的NC计算模型。
By capturing the original explicit design semantics and design process, the general NC computation model could be set up and expressed as' a pocket and its boundary '.
在统一网络管理信息模型中引入本体论可以很好的解决模型间转换过程中的语义转换。
Adding ontology to the unified information model can solve the semantic problems existed in current translations.
串空间模型是安全协议分析的一种重要工具，它具有良好的语义，但其分析过程难度较大。
The strand space model is a very important tool of analyzing security protocol, and it has good semantics, but it is difficult to analyze security protocol.
本文实验详细的阐述了自动获取高层语义信息的过程，实验最后给出了描述模型实现的结果。
The experiment demonstrates the process of acquire high-layer semantic information automatically, at last, it shows the result of description model implementation.
该文研究了工作流技术中的业务过程描述方式，设计了一个业务过程模型，并对其结构正确性和语义正确性进行了证明和分析。
In this paper, after studying the description of business process in workflow system, a kind of service process model is defined, and the structure correctness and semantic validity are analysed.
本文以设计的认知研究结果为基础，构造了一个以决策为核心的概念设计语义模型，并且用超文本实现，以此来支撑概念设计过程。
This paper proposes a decision-based semantic process model for conceptual design. It is theoretically based on cognitive design studies, and hypertext is employed to realize the 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.
针对还没有工作流模型的执行过程的形式化描述的问题，给出工作流机处理步骤的操作语义描述。
At present, there is no formalized description of the executing procedure of workflow models. The procedure of workflow models executing in workflow engine is described using the operational semantic.
然后，具体实现了语义知识本体模型和语义分析模型，并详细讨论了领域复合句的语义分析过程。
Then, the ontology model of semantic knowledge and semantic analysis model was realized specifically, and the semanteme analytic process of the compound sentence in the field was introduced in detail.
给出了设计师与使用者信息交流模型和形态设计语义分析过程模型，并在此基础上提出了产品形态设计的过程模型。
Gives a model of the information communion of the stylist and user and the meaning analysis of product shape design. On this base this paper put forward the model of product shape design.
一般逻辑程序的证明论语义给出一个证明过程，对应于相应的模型论语义，同时也为模型论语义的实现提供基础。
Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics.
一般逻辑程序的证明论语义给出一个证明过程，对应于相应的模型论语义，同时也为模型论语义的实现提供基础。
Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics.
应用推荐