结构化操作语义相关论文
提出一种新的融合进程代数特征的Petri网模型—进程网.进程网既具有传统Petri网的图形化表示方式,又具有进程代数的语法形式.基于......
由于计算机互联网络的国际化、社会化、开放化、个性化等特点,使得它在向人们提供信息资源共享和技术共享的同时,也带来了不安全的隐......
动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解......
主要讨论了计算机信息安全领域中比较热点的话题--基于操作语义的时间隐通道.根据隐通道中的时间隐通道的特点和存在的最小条件,针......
在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定......
深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作......
进程代数是刻画并发与交互式反应系统行为的重要模型之一,进程间的(互)模拟关系及其公理化以及结构化操作语义(structural operati......
UML规范本身因为描述语言的限制,所以在语义方面有其模糊和难以把握的地方。本文使用结构化操作语义.对其顺序图做了形式化的描述。......
动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解......
由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演......
主要讨论了计算机信息安全领域中比较热点的话题——基于操作语义的时间隐通道。根据隐通道中的时间隐通道的特点和存在的最小条件......
本文针对航班正常性这一当前行业关注的热点问题,以不确定理论为基础,对航班计划性延误进行预测。计划性延误是指航班因计划飞行、......
以转换系统为基本模型 ,分析了 SDL动态语义定义的基本需求 ,提出了一种基于 SDL未来发展方向的结构化操作语义定义框架 .......
提出一种新的融合进程代数特征的Petri网模型一进程网。进程网既具有传统Petri的图形化表示方式,又具有进程代数的语法形式。介绍了......
为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示(SAIR)。根据汇编指令的特点,给出SAIR的语法并详细......
随着数字通信和自动化控制等领域的高速发展和世界范围的高技术竞争加剧,人们对数字系统提出了越来越高的要求。而就目前来说,数字电......
UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用......