我们的代数语义相对于前面所作的操作语义模型来讲是可靠的，即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
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.
特别是，内存模型定义了保证内存操作跨线程的可见性的volatile、synchronized和final的语义。
In particular, the memory model defines semantics for volatile, synchronized, and final that make guarantees of visibility of memory operations across threads.
有许多处理语义互操作性的行业标准，其中包含了垂直行业和水平行业的数据和数据模型标准。
Many industry standards deal with semantic interoperability, which include data and data model standards for vertical and horizontal industries.
服务互操作性需要用于交互的“语义”数据模型。
Service interoperability requires "semantic" data model for their interaction.
为了加强服务的跨平台的互操作性，这样的架构通常定义语义消息模型——企业范畴的业务对象，它们被服务接口定义使用。
In order to enhance services interoperability, such architecture usually defines semantic messaging model - enterprise-wide business objects, used for the services interface definitions.
使用企业语义数据模型，基于业务模型，以确保最终服务的互操作性。
Using the enterprise semantic data model, based on the business model, to ensure interoperability of the resulting services.
递增地定义了这三类补偿模型的语法，同时给出了相应的操作语义。
We define the syntax of three categories of the compensation models in an incremental way, and the operational semantics are given.
针对还没有工作流模型的执行过程的形式化描述的问题，给出工作流机处理步骤的操作语义描述。
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.
本文塑造了正式的函数式程序设计(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.
在使用相同模型的情况下，发送者和接收者应该比没有共同的模型能够更容易地理解信息和进行区域语义相互操作。
By using the same model, both sender and recipient should be able to more easily understand the message making regional semantic interoperability much easier than if there were no common model.
这就为进一步的应用(特征表示模型、特征编辑、语义操作等)提供了一个坚实的基础。
This provide a basis for further application such as feature editing and so on.
将概率格局变迁系统作为操作语义的模型，它的每个状态是一个格局，格局是由一个PKAT表达式和一个数据状态组成的序列对。
A model termed probabilistic configuration transition systems was proposed, which are composed of a pair of a PKAT expression and a data-state.
首先定义模型互操作的概念，分析异构模型互操作中存在的问题是不同的描述方式及不同的语义。
The analyses results show that the problems in the interoperation process of heterogeneous are different description manners and different semantemes.
首先定义模型互操作的概念，分析异构模型互操作中存在的问题是不同的描述方式及不同的语义。
The analyses results show that the problems in the interoperation process of heterogeneous are different description manners and different semantemes.
应用推荐