1) SPOL
结构化权限操作语言
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) Dynamic structured operational semantics
动态结构化操作语义
6) hospital operating system-structured programming language
医院操作系统-结构程序数据语言
补充资料：结构段语言
一种后组式情报检索语言，其词汇单元之间的参照关系用完整的辅助措施体系加以表示。 syntol 是 SYN Tagmatic Organization Language (结构段组织语言)的缩写。它是法国国家科学研究中心和人类研究中心的J.G.加尔丁等人在1960～1962年为欧洲原子能联营研制的情报检索语言。
结构段──双址谓词XRiY──是结构段语言的最小结构单元。X和Y表示主题变量(关键词)，Ri表示结构关系。
结构段语言的语法范畴有谓词、本质、状态和行动4种。"谓词"表示词的概念;表示物理性能、形式、尺寸、时间等的词属谓词范畴。"本质"指实质、体和客体。"状态"指"本质"的被动性能。"行动"指"本质"的动态性能。
结构段语言的结构段关系，包括谓词关系、相关关系、连续关系和座标关系。谓词关系指两个词间的非对称关系，即附属词范畴。相关关系指两个词间的非对称静止附属关系,即主体行动及对其客体或状态的关系,如从属、包含关系等。连续关系指动态性非对称关系，即当两个概念中的一个在某种程度上影响另一概念的状态或情况出现时的关?担颍⒅魈澹吞骞叵稻褪橇叵怠Ｗ旯叵抵付猿频牡燃邸⒈冉虾颓鸸叵怠?
在结构段语言中,用7个综合算子连接结构段元素中的一个元素,以明确其在这一结构中的逻辑关系。4个算子(工具、地点、目的和原因) 用于相关关系术语；3个算子(比较、识别和区别)用于座标关系术语。
结构段语言用上述4种结构段关系和7个算子按下列3 个步骤标引文献： ① 建立结构段词串表示文献主题；②指出结构段所表示的论述本质，描述现象的类目、时间、地点等；③标引外部特征(文献类型、语言等)。
曾用结构段语言标引心理学、生理学、社会学等方面文献1500篇，并进行了计算机检索试验。其查全率为80％，查准率为60％。但由于其复杂性，未获得广泛应用。
结构段──双址谓词XRiY──是结构段语言的最小结构单元。X和Y表示主题变量(关键词)，Ri表示结构关系。
结构段语言的语法范畴有谓词、本质、状态和行动4种。"谓词"表示词的概念;表示物理性能、形式、尺寸、时间等的词属谓词范畴。"本质"指实质、体和客体。"状态"指"本质"的被动性能。"行动"指"本质"的动态性能。
结构段语言的结构段关系，包括谓词关系、相关关系、连续关系和座标关系。谓词关系指两个词间的非对称关系，即附属词范畴。相关关系指两个词间的非对称静止附属关系,即主体行动及对其客体或状态的关系,如从属、包含关系等。连续关系指动态性非对称关系，即当两个概念中的一个在某种程度上影响另一概念的状态或情况出现时的关?担颍⒅魈澹吞骞叵稻褪橇叵怠Ｗ旯叵抵付猿频牡燃邸⒈冉虾颓鸸叵怠?
在结构段语言中,用7个综合算子连接结构段元素中的一个元素,以明确其在这一结构中的逻辑关系。4个算子(工具、地点、目的和原因) 用于相关关系术语；3个算子(比较、识别和区别)用于座标关系术语。
结构段语言用上述4种结构段关系和7个算子按下列3 个步骤标引文献： ① 建立结构段词串表示文献主题；②指出结构段所表示的论述本质，描述现象的类目、时间、地点等；③标引外部特征(文献类型、语言等)。
曾用结构段语言标引心理学、生理学、社会学等方面文献1500篇，并进行了计算机检索试验。其查全率为80％，查准率为60％。但由于其复杂性，未获得广泛应用。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条