A BLA definition provides operational semantics for its constituent parts.
bla定义为其构成部分提供了操作语义。
There may also be operational semantics to consider when introducing a change.
在引入更改时，还可能需要考虑操作语义。
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表示法缺少操作语义。
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.
我们的代数语义相对于前面所作的操作语义模型来讲是可靠的，即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
This paper studies hardware synthesis from parallel programs. Based on operational semantics of a parallel language, a set of transformation rules for various language constructs is established.
基于并行语言的操作语义，提出一组将语言构造模块转化为硬件电路的规则。
Operational semantics and algebraic laws are very useful in practice.
形式化语义和代数法则在实践应用是很有用的。
Operational semantics and algebraic laws are very useful in practice.
形式化语义和代数法则在实践应用是很有用的。
应用推荐