对于仅显示控制流的模型，这两种形式可以互换，模型将保留其本身的语义。
For models that show control flow only, both forms can be used interchangeably and the models will preserve their execution semantics.
也就是说，语义服务将物理数据转换为数据的逻辑表示形式，该逻辑表示形式符合数据的达成一致的业务视图(信息模型)。
That is, semantic services translate the physical data into a logical representation of the data that conforms to the agreed-upon business view of the data (the information model).
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
文中从形式语义的角度出发，对IEC 61850的建模方法和所给出的模型进行了研究。
The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.
本文通过对业务在执行过程中，业务逻辑实例与外部实体交互消息的分析，提出一个基于消息序列语义的特征交互形式模型。
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.
对虚拟表示模型进行了扩展，使VDM页面能够灵活地支持模块化设计，并给出了相应扩充语义标记的形式文法。
Through Extending Virtual Description Model, VDM web pages can support modular design, and bring forward relevant extended semantic tag format grammar.
最后通过实例进行分析，通过属性抽取算法提炼出形式背景，并验证基于概念格的语义匹配模型的有效性。
Finally, an example analysis is done to prove the feasibility of concept lattice-based semantic structure matching model with the formal context through the attribute extraction.
竞争模型认为，句子理解是句法、语义信息相互作用而产生的形式-功能投射。
The Competition Model sees sentence processing as form-function mapping as a result of the interaction of syntactic and semantic cues.
针对知识发现在实际应用中的问题，提出了一种以领域知识为中心的知识发现过程模型，并将其形式化，描述了其动态语义。
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.
工作流建模技术一直是工作流技术研究的重要课题之一，它的研究范围包括：工作流模型定义、语义的形式化表示方法等。
Workflow modeling technique is always one of important research tasks of workflow, including workflow model definition and sematic formalized expression method and so on.
因果关系的默认规则表达为潜在的因果关系提供了一个简洁的语法与语义形式化工具，使得因果关系能够应用在因果推理模型中，比如预浙江大学博士学位论文。
The default rule representation provides a concise syntactic and semantic formalism for potential causal relations to be used in causal reasoning models such as predicting, explaining and diagnosing.
把UML和形式化语言进行融合，通过形式化的方法来弥补UML语义上的不足，给出实时行为方面模型的精确语义，也是本文的研究重点。
It is also the focus of this paper to integrate the UML and formal language, make up the shortfall of UML semantics, and give precise semantic of real-time behavior model.
对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。
The primary contents are summarized as follows:An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.
参考显式的设计语义和过程信息，以“腔槽及其边界”形式构造通用的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 '.
在用进程代数建模工作流时，只是考虑了模型的形式化语义以及模型中的各种控制流关系。
When using process algebra to model workflow, we only consider its formal semantics and its control flow.
对汉语短语句法规则进行符号化形式化的分析，给出了句法模型，定义了一整套汉语的句法规则体系及相应的语义处理方案。
In order to build a complete analysis system of Chinese syntactic rules, we have defined the sets of words, attribute, pinyin, relations, terminals and non terminals for the syntactic analysis.
在分析机械产品知识表示形式的基础上，提出基于语义对象的产品知识表达模型方法，阐述了机械产品知识表达模型的信息构成。
According to analyzing methods of knowledge representations for mechanical products design, a new knowledge representation model based on semantic object is described.
在给出了一种策略语言后，对其语法和语义进行了形式定义，并根据使用控制(ucon)模型族的行为特性给出了控制策略。
A policy language was introduced and its syntax and semantics were defined formally, and control policies were given according to action characteristics of core models of Usage control (UCON).
竞争模型认为，句子理解是句法、语义信息相互作用而产生的形式-功能投射。
The Competition Models sees sentence processing as form-function mapping as a result of the interaction of syntactic and semantic cues.
语义关联是语义数据模型中实体之间二维关系的知识表示形式。
Semantic association is defined as the representation of rich knowledge about binary relation in semantic data model.
针对还没有工作流模型的执行过程的形式化描述的问题，给出工作流机处理步骤的操作语义描述。
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.
分布式操作系统形式化系统模型DOSFS主要由文法DOSFSG和语义DOSFSS两部分组成。
Distributed Operating System Formal System Model (DOSFS) consists of the grammar DOSFSG and the semantics DOSFSS.
分布式操作系统形式化系统模型DOSFS主要由文法DOSFSG和语义DOSFSS两部分组成。
Distributed Operating System Formal System Model (DOSFS) consists of the grammar DOSFSG and the semantics DOSFSS.
应用推荐