期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
UML顺序图的结构化操作语义研究 被引量:8
1
作者 黄陇 于洪敏 陈致明 《计算机应用》 CSCD 北大核心 2005年第2期359-361,共3页
UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用例生成。为此,依据UML1. 5规范,采用BN定义顺序图的形式化语法,提出了活动点的概念;在此基础上,讨论并给... UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用例生成。为此,依据UML1. 5规范,采用BN定义顺序图的形式化语法,提出了活动点的概念;在此基础上,讨论并给出了单个对象执行消息动作的结构化操作语义以及顺序图模型的整体结构化操作语义,为模型检验和基于顺序图的测试用例生成提供了前提。 展开更多
关键词 UML 顺序图 结构化操作语义
在线阅读 下载PDF
一种面向服务Petri网模型及其结构化操作语义 被引量:3
2
作者 郭峰 魏光 邓蒙蒙 《小型微型计算机系统》 CSCD 北大核心 2013年第12期2739-2743,共5页
在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定义了五种EON的组合算子,利用这些组合算子可以从基本EON组合成复杂EON.基于这些组合算子,EON本身可以采用... 在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定义了五种EON的组合算子,利用这些组合算子可以从基本EON组合成复杂EON.基于这些组合算子,EON本身可以采用代数化的构造性方式表达,本文进一步给出EON的结构化操作语义,这种语义是遗忘式的,不依赖于EON的标识,而是用发生变化的代数表达式描述EON的运行状态. 展开更多
关键词 PETRI网 面向服务 结构化操作语义
在线阅读 下载PDF
基于逻辑的软件演化操作语言及结构化操作语义
3
作者 任胜兵 喻寿益 +1 位作者 陈松乔 余莹 《小型微型计算机系统》 CSCD 北大核心 2007年第6期1031-1036,共6页
由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了S... 由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法.结合软件代码演化和软件模型演化实例,说明了SEOL的应用.与已有的软件演化操作描述相比,SEOL在易用性、可重用性和形式化分析方面有明显的改善,为软件演化的管理、分析和实施奠定了基础. 展开更多
关键词 软件演化 软件演化操作语言 结构化操作语义 语义等价
在线阅读 下载PDF
动态模糊逻辑(DFL)程序设计语言的结构化操作语义
4
作者 赵小芳 范辉 《计算机应用与软件》 CSCD 北大核心 2008年第8期136-137,146,共3页
动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序... 动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序设计语言。仿照监督命令的程序结构,给出动态模糊程序设计语言的结构化操作语义,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义并通过一个简单实例说明其有效性。 展开更多
关键词 动态模糊逻辑 动态模糊逻辑程序设计语言 结构化操作语义
在线阅读 下载PDF
基于操作语义的磁臂隐通道分析 被引量:2
5
作者 刘志锋 鞠时光 李沛 《计算机应用研究》 CSCD 北大核心 2007年第11期157-160,共4页
深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作语义的方法来研究磁臂隐通道,将磁臂调度过程中的进程看做一个抽象机,以Plotkin的结构化操作语义给出电... 深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作语义的方法来研究磁臂隐通道,将磁臂调度过程中的进程看做一个抽象机,以Plotkin的结构化操作语义给出电梯调度算法的推导规则;根据推导规则得到进程抽象机所有状态以及进程抽象机状态的动态变化历史,这样就构成完整的信息传导操作语义模型。研究与分析两个高低安全级进程抽象机状态变迁及状态变迁序列,从而找到其中存在的磁臂隐通道。 展开更多
关键词 隐通道 磁臂隐通道 信息传导 结构化操作语义
在线阅读 下载PDF
基于操作语义的时间隐通道分析 被引量:1
6
作者 戴梅 孙国强 刘志锋 《计算机工程与设计》 CSCD 北大核心 2009年第7期1593-1595,1599,共4页
主要讨论了计算机信息安全领域中比较热点的话题——基于操作语义的时间隐通道。根据隐通道中的时间隐通道的特点和存在的最小条件,针对其特点提出了一种搜索方法。该搜索方法将进程看作一个抽象机状态机,以Plotkin的结构化操作语义等... 主要讨论了计算机信息安全领域中比较热点的话题——基于操作语义的时间隐通道。根据隐通道中的时间隐通道的特点和存在的最小条件,针对其特点提出了一种搜索方法。该搜索方法将进程看作一个抽象机状态机,以Plotkin的结构化操作语义等推导规则为基础,以及完整的信息传导操作语义的模型,分析了两个高低安全级进程抽象机状态变化及其状态动态变化序列,最后对可视窗口的分析,可以找到其中存在的时间隐通道。 展开更多
关键词 隐通道 时间隐通道 抽象机 信息传导 结构化操作语义
在线阅读 下载PDF
IEC61850的结构化模型分析 被引量:34
7
作者 张结 《电力系统自动化》 EI CSCD 北大核心 2004年第18期90-93,共4页
通过研究互操作性对信息语义的要求,指出结构化模型是IEC 61850支持互操作性的主要体系规定,并对该结构化模型的模型构成类、模型结构和蕴涵在其中的运行机制进行了具体的分析。同时,从产品开发者的角度研究了IEC 61850结构化模型对产... 通过研究互操作性对信息语义的要求,指出结构化模型是IEC 61850支持互操作性的主要体系规定,并对该结构化模型的模型构成类、模型结构和蕴涵在其中的运行机制进行了具体的分析。同时,从产品开发者的角度研究了IEC 61850结构化模型对产品设计的影响,列举了目前产品与IEC 61850的差距,提出应用IEC 61850不能仅仅停留在通信协议的层面,而应该对产品进行全面的重新设计和深入的技术实现。 展开更多
关键词 IEC 61850 操作 结构化模型 信息语义
在线阅读 下载PDF
GSOS算子下共变-异变模拟的公理刻画 被引量:1
8
作者 李苏婷 张严 《计算机科学》 CSCD 北大核心 2020年第1期51-58,共8页
进程的行为理论是进程演算研究的核心内容之一,其侧重于讨论进程间的行为等价和模拟关系。共变-异变模拟(Covariant-Contravariant Simulation,CC-模拟)的概念是对经典(互)模拟概念的推广,它通过区分动作类型,刻画了规范与实现对系统主... 进程的行为理论是进程演算研究的核心内容之一,其侧重于讨论进程间的行为等价和模拟关系。共变-异变模拟(Covariant-Contravariant Simulation,CC-模拟)的概念是对经典(互)模拟概念的推广,它通过区分动作类型,刻画了规范与实现对系统主动、被动和通讯动作在精化关系中的不同要求。行为关系的(前)同余性和公理刻画是进程演算代数特征的集中体现,它们对规范及实现的分析和推理至关重要。一般而言,行为关系(前)同余性的证明和公理系统的构造需要基于不同进程演算系统的结构化操作语义(Structural Operational Semantics,SOS)分别展开。为了避免这类研究工作中的重复劳动,学术界针对一般化SOS规则形式的元理论开展了研究,GSOS是其中被广泛研究的规则形式之一。文中在考量了动作类型的基础上,基于CC-模拟对GSOS规则形式做出扩充,提出了CC-GSOS规则类型,证明了CC-模拟相对于CC-GSOS算子具有前同余性,并给出了在这些算子下CC-模拟的可靠完备公理系统的一般性构造方法。 展开更多
关键词 Gsos 结构化操作语义(sos) 进程演算 共变-异变模拟 可靠性 完备性
在线阅读 下载PDF
可执行代码简化中间表示的设计与实现
9
作者 窦增杰 王震宇 +1 位作者 姚伟平 王瑞敏 《计算机工程与设计》 CSCD 北大核心 2010年第12期2880-2882,2886,共4页
为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示(SAIR)。根据汇编指令的特点,给出SAIR的语法并详细描述了SAIR的结构化操作语义。对汇编指令进行分类,设计了中间语言翻译字典以建立汇编指令与SAIR的映... 为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示(SAIR)。根据汇编指令的特点,给出SAIR的语法并详细描述了SAIR的结构化操作语义。对汇编指令进行分类,设计了中间语言翻译字典以建立汇编指令与SAIR的映射关系。通过中间语言翻译字典实现反汇编代码向SAIR的转化,得到SAIR。最后,给出汇编代码转化SAIR的实例。实验结果表明,设计并实现的SAIR可读性强,易于理解,可有效地提高可执行代码的分析效率。 展开更多
关键词 反汇编代码 中间表示 结构化操作语义 形式语义 抽象表示
在线阅读 下载PDF
面向任务的网络虚拟机器人动态更新迁移计划
10
作者 王洪泊 马忠贵 +1 位作者 曾广平 涂序彦 《计算机科学》 CSCD 北大核心 2009年第6期167-170,共4页
在深入研究与分析Agelts系统及其源码的基础上,对网络虚拟机器人SoftMan迁移计算涉及到的基本技术问题进行了系统的分析与描述。利用面向任务的动态更新迁移计划方式和动态结构化操作语义,首先把SoftMan的移动信息从功能体中分离开来,... 在深入研究与分析Agelts系统及其源码的基础上,对网络虚拟机器人SoftMan迁移计算涉及到的基本技术问题进行了系统的分析与描述。利用面向任务的动态更新迁移计划方式和动态结构化操作语义,首先把SoftMan的移动信息从功能体中分离开来,可以分别对它们进行分析与设计,在设计功能体时无需考虑网络的实际情况,在设计移动信息时也不用考虑功能体的具体实现细节,这样有效地降低了设计和编写SoftMan的复杂性,也易于调试和管理。 展开更多
关键词 网络虚拟机器人 迁移计划 动态结构化操作语义
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部