开发者通常会使用语义模型。
在语义网中，数据由语义模型来表示。
语义模型和概念用于发现服务非常的理想。
Semantic models and concepts are ideal for discovering services.
其中有一些着重于通过定义良好的语义模型来驱动计算。
There are those who are focused on a well defined semantic model that's used to drive computation.
提出了一种基于本体语义模型的信息检索方法。
A methodology is presented to retrieve information based on semantic ontology model.
类似其他业务服务，数据服务的接口通常也基于企业语义模型。
Similar to the other business services, an interface for the data services is often based on the enterprise semantic model.
使用XML方言作为数据格式的数据设计人员能够全面控制数据的语义模型定义。
The data designer using an XML dialect as the data format has complete control over the semantic model defining the data.
他们可以通过把语法树回馈给编译集来创建语义模型，从而用符号数据对其进行注解。
A semantic model is created by feeding a syntax tree back into the compilation so that it will be annotated with symbol data. The semantic model can then be queried for information such as.
为支持语义模型的实验工作，我们还构造了一个DICOM可视化工作平台。
For supporting the semantic research, a DICOM visual working platform is constructed.
OA语义模型为OA研究引入了语义概念，提供了建立智能化OA系统的理论基础。
OA semantic models have introduced the notion of semantics in OA researches and created the theoretic base of intelligent OA systems.
本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
文中提到的明确分离的核心、服务相关和整合相关的扩展，有利于更好地维护SOA的语义模型。
Proposed clear separation of core, service specific and integration specific extensions promotes a better overall maintainability of the semantic SOA model.
为此，论文的研究主要集中在语义模型理论与语义模型进化两方面，包含以下主要内容。
Three main research aspects as below are contained in this thesis: 1. Semantic model-driven approach for enterprise data integration.
反射语义模型能使反射思想在概念上精练和统一化，同时能为反射中间件的实现提供保证。
Reflective semantic model can not only contribute to the conceptual sharpening and unification of reflective notions but also afford high assurance of it.
在传统的基于BDI的主体模型的基础上，提出了一种结合外部环境状态的主体语义模型。
A kind of agent semantic model combined with external environmental state is presented in this paper, which based on the traditional BDI agent model.
其次为PBL建立了一种正规概率模态语义，这是一种适于刻画概率模态逻辑的语义模型。
Secondly, a new semantics of pbl-normal probabilistic modal semantics is given, which is a new semantics suited for modeling probabilistic modal logic.
语义服务使您可以表示语义模型，确定模型到模型的关系，以及执行必要的转换以协调不同语义模型的数据。
Semantic services enable you to represent semantic models, identify model-to-model relationships, and execute the necessary translations to reconcile data with differing semantic models.
这些情况下，往往需要为每个具体错误使用特定模式来定义信息，这样可以有效地扩展领域语义模型以描述失败场景。
These situations often call for special schemas defining information for every specific error, thus effectively extending domain semantic model to describe failure scenarios.
该框架首先利用本体建立特定领域的语义模型，在此基础上实现对学习资源的有效管理和基于语义的搜索。
Firstly, this framework builds a semantic model for certain domain, and can carry out effective management for resources and semantic search based on that model.
最后，根据可分层术语集合的特性，证明了循环不动点理论在本体知识库下可用于计算可分层术语集合的语义模型。
Finally, this thesis proves that the recursion fixed point theory can also be used for the semantic model computation of a stratified TBox in ontology knowledge base.
本文塑造了正式的函数式程序设计(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.
无论开发人员使用哪一种类型的领域特定语言，作者在书中始终强调的关键是一定要在一种合理的语义模型基础之上打造领域特定语言。
No matter what category developers are using, it is essential to build any DSL on top of a sound semantic model as the authors keep emphasizing.
整个工作台围绕意图树(Intentional Tree)建立，意图树是允许领域进行多重投影的语义模型，也可用来生成代码。
The entire workbench is built around Intentional Tree which holds a semantic model allowing multiple projections of the domain and can be used to generate code.
本文以设计的认知研究结果为基础，构造了一个以决策为核心的概念设计语义模型，并且用超文本实现，以此来支撑概念设计过程。
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.
我们的代数语义相对于前面所作的操作语义模型来讲是可靠的，即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
All the laws presented above are sound with respect to the operational semantics , i . e. , if the two processes are the two sides of a law, then they are bisimilar.
MF：无论什么时候，如果要讨论领域特定语言的优缺点，我都要强调每一个领域特定语言只是在某个开发库或者框架之上的一层薄薄的皮而已（我们称之为语义模型）。
MF: Whenever we talk about the pros and cons of DSL usage, I always stress that a DSL is nothing more than a thin veneer over a library or framework (which we refer to as a Semantic Model).
这包括确定和了解信息语义，如数据模型元素的含义以及结构信息等。
This includes identifying and understanding the information semantics, such as the meaning of the data model elements as well as structural information.
模型语义元素通常可能被多个描述全部规范的不同方面的图所引用。
Model semantic elements might be referenced in common by multiple diagrams that depict different aspects of the overall specification.
服务互操作性需要用于交互的“语义”数据模型。
Service interoperability requires "semantic" data model for their interaction.
具体的模型语义元素位于执行产品之中。
Concrete model semantic elements are located in implementation artifacts.
应用推荐