1) Dynamic structured operational semantics
动态结构化操作语义
2) structured operational semantics
结构化操作语义
1.
Research on structured operational semantics of UML sequence diagram;
UML顺序图的结构化操作语义研究
2.
The methods of searching considers process as an abstract machine, based on the reasoning rules of Plotkin’s structured operational semantics, and the integral information conduction operational semantics model.
该搜索方法将进程看作一个抽象机状态机,以Plotkin的结构化操作语义等推导规则为基础,以及完整的信息传导操作语义的模型,分析了两个高低安全级进程抽象机状态变化及其状态动态变化序列,最后对可视窗口的分析,可以找到其中存在的时间隐通道。
3) structural operational semantics
结构化操作语义
1.
The syntax and structural operational semantics of SEOL are studied in this paper,and a method to analyze the seman.
为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法。
4) structural operational semantics
结构操作语义
1.
To determine the transition relation in the model,both natural semantics and structural operational semantics for PKAT were put forward.
为了确立模型中的关系,定义自然语义和结构操作语义,均从行为和状态两方面进行刻画,证明两者在只考虑程序正常终止的情况下是等价的。
5) SPOL
结构化权限操作语言
6) Semantic structurization
语义结构化
补充资料:动态
①(事情)变化发展的情况:科技~ㄧ从这些图片里可以看出我国建设的~。②艺术形象表现出的活动神态:画中人物,~各异,栩栩如生。③运动变化状态的或从运动变化状态考察的:~工作点ㄧ~电流ㄧ~分析。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条