1) operational semantics model
操作语义模型
1.
The compositional protocol of Yahalom and Denning-Sacco is modeled as operational semantics model.
通过提出采用安全协议的操作语义模型对组合协议进行形式分析和验证,建立了Yahalom和Denning-Sacco组合协议的操作语义模型,并用基于操作语义模型的自动化验证工具Scyther验证了其安全性,发现了一个针对Yahalom协议机密性的组合攻击。
2) operational semantics
操作语义
1.
A structural operational semantics of VHDL.;
一种VHDL的结构化操作语义
2.
It is shown that our stochastic models can be used to provide a compositional causality-based semantics for IMCA,and a event-based operational semantics is supplied to prove its conincidence with various exiting interleaving proposals.
同时,给出了IMCA基于事件的操作语义,并且证明了它和现有交互式语义的一致性。
3.
A formal operational semantics based on abstract machine is presented for the implementation of a subset of single-action signal oriented statements.
针对C/ATLAS单动作信号语句的一个子集,提出一种其实现过程的基于抽象机的形式化操作语义描述方法,并分别给出了各单动作测试语句的状态转换规则。
3) operating language model
操作语言模型
1.
The operation model on multidatabase in CSCW environment was put forward,and a kind of operating language model for interoperability in multidatabase system and its implemental schema were proposed.
结果表明，ＣＳＣＷ环境下对多个数据库的操作语言模型具有较好的性能。
4) semantic interoperation
语义互操作
1.
In order to study social and economic development impact on the use of land resources dynamically, it must realize knowledge sharing and data integration for land use information, especially must find a way of resolving the semantic interoperation of distributed heterogeneous systems.
为了从动态角度研究社会经济发展对土地利用的需求,必须实现土地利用信息的集成与共享,解决分布式异构系统环境下土地利用数据的语义互操作。
2.
applying the ontology registry metamodel of metamodel interoperability framework (MFI) to achieve the semantic interoperation with other registry model.
应用元模型互操作框架(MFI)中的本体注册元模型标准,以实现与其他注册模型的语义互操作,并给出了一个基于该模型的语义Web服务注册平台。
3.
The uprising of semantic Web technologies eliminate obstacle for Agents understanding information content and realizing semantic interoperation.
语义Web技术的兴起，为Agents理解信息内容和实现语义互操作扫清了障碍，进而给异质Agents在Web上的大规模应用开拓了契机。
5) semantic interoperability
语义互操作
1.
Ontology-based semantic interoperability of product data;
基于本体的产品数据语义互操作
2.
Semantic Interoperability Extension Model to ebXML Registry;
ebXML注册库的一个语义互操作性扩展模型
3.
The Realization of Semantic Interoperability in Digital Library;
数字图书馆的语义互操作及其实现
6) Semantics for interoperation
互操作语义
补充资料：操作语义
操作语义
operational semantics
式求值的抽象机器的模型，这个机器的存储区分成三部分:栈区st(用作工作区)，环境区:(保存数据向量等)，控制区。(保存程序)。整个存储区记作(、t，:，。)，称为抽象机器的一个大状态。这个抽象机器具有识别符号、完成算术和逻辑运算、转储信息、实现大状态之间的转移等基本功能。 这个机器的大状态转移规则分为四类: (l)(st，s，(el叩eZ)/c)”(st，s，。;/。2/甲/。) (2)(st，:，碑/‘)冷(n/:t，:，。) (3)(st，s，x、/e)”(x、/sr，s，e) (4)(n/m/st，s，叩/e)=>(k/st，s，c)(k=m opn) 第一类规则表示，当控制区中待执行的程序要求完成表达式(。1叩eZ)的求值时，抽象机就转移自己的大状态，准备先求子表达式。l和e2的值，然后再按照相应的运算叩(+，一，X或其它算子)，求出整个表达式的值，符号“/”用于分割存放的信息。第二类规则表示，当求值的表达式是一个常量时，则其值就是抽象机中表示这个常量的相应的量(粗体用来区别语言中的符号和在抽象机中的相应表示)，表达式的值暂存于栈区。第三类规则表示，当表达式是一个变量时，其值就是环境区中相应单元的当前值，即第i个变量x‘的值就是数据向量s的第i个分量:、的值。第四类规则表示，当运算叩的两个操作数已经求得，则可按照抽象机中的相应运算求出op作用于操作数的结果。 在这个抽象机中，表达式(x:X xZ)+l(在xl，xZ值为2和3时)的求值是由下述大状态的转移序列完成的，转移符号冷的上方标有实现这一转移依 0、，产、，声据的转移规则号，设:=(2，3，s((x;XxZ)+i)/。(s(1)冷(:t，、(x;XxZ)/1/+/。)岑(、‘，:，(二，/二2)又1/+/。)里(2/st，、，二2/又1/+/。)缪(3/2/st，:，x/1/、/。)军(6/、‘，、，l/+/。)里(l/6/::，:，+，/。) (4) 冷(7/:t，s，e) 这个抽象机正确刻画出算术表达式求值的全过程，故可作为算术表达式的操作语义。 为定义赋值语句(x‘:二e)的操作语义，可在上述抽象机中添加如下转移规则: (5)(st，s，(x、:=e);/c)今(:t，s，e/x*:=/。) (6)(n/:t，:，吞:=/。)=>(st，:}in，。) 第五类规则表示，当抽象机执行(x‘:=。)时，先求出表达式仑的值，然后再给x*赋值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条