This thesis then investigates the operational semantics of MSVL. A new configuration with intervals for MSVL programs is defined.
首先定义了一种新的适用于描述区间时序逻辑程序语言语义的表达式格局和命令格局。
We define the syntax of three categories of the compensation models in an incremental way, and the operational semantics are given.
递增地定义了这三类补偿模型的语法，同时给出了相应的操作语义。
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.
我们的代数语义相对于前面所作的操作语义模型来讲是可靠的，即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
The description of each operation includes a Query Tuner access path graph that explains its operational semantics.
每一个操作的描述都包括一个解释其操作语义的QueryTuner访问路径图。
For example, until the arrival of languages such as the Business Process Execution language for Web Services (BPEL), BPM notations were missing operational semantics.
例如，在像用于Web服务的业务流程执行语言(Business Process ExecutionLanguagefor Web Services,BPEL)这样的语言出现之前，BPM表示法缺少操作语义。
A key selling point for MapReduce is its ability to abstract the operational parallelization semantics - how parallel programming works - away from the developer.
MapReduce的关键特点是它能够对开发人员隐藏操作并行语义—并行编程的具体工作方式。
A key selling point for MapReduce is its ability to abstract the operational parallelization semantics - how parallel programming works - away from the developer.
MapReduce的关键特点是它能够对开发人员隐藏操作并行语义—并行编程的具体工作方式。
应用推荐