操作语义相关论文
混成系统是同时包含连续状态和离散状态的动态系统。连续部分通常模拟物理环境的相互作用,而离散部分通常模拟控制系统的运行。计......
目前数字经济正在向可编程经济时代演进,智能合约对可编程经济起着重要的推动作用,但其应用却面临着种种问题。在区块链应用中,由......
软件漏洞分析是网络空间安全的重要研究内容。现有软件漏洞分析方法存在效率不高,准确性差,通用性不强的缺陷。同时,真实程序执行......
该文的主要想法是想将形式化语义方法引入工业界应用极为广泛的VerilogHDL中,为Verilog的形式化验证以及自动求精提供严格的语义基......
该文以企业实施大规模定制作为问题的研究背景和验证基础,主要研究了窄带环境下面向大规模定制的协同设计环境体系结构及支持协同......
随着软件技术的不断发展，开发者和用户对于软件质量提出了更高的要求。为此，软件开发者试图从技术、管理等各层面控制软件开发过程，提......
随着软件规模的不断扩大，软件错误也越来越容易产生。尽早地检测软件中的错误是软件开发过程中的一个重要任务，也是降低软件开发成本......
本文所作得的主要工作包括：（1）首先给出协同CAD的系统模型，设计出支持同构以及异构协同的两种协作框架。接着分别阐述了客户端以及服务......
目前，Web服务逐渐普及，网格计算方兴未艾，移动无线网络逐步推广，在这些并发、分布和移动环境下，对事务处理的模型、语言和原型的研究正......
市场的全球化带来了产品设计和生产管理的网络化要求；要求有一种支持协同设计的平台技术，支持不同专业背景的领域专家间的协同工作。......
本文研究具有非对称通信和带不等名算子的χ-演算，即非对称χ≠-演算。主要工作包括以下三个方面： 1.参照傅育熙教授关于χ≠-演......
计算机支持的协同设计(Computer Supported Cooperative Design, CSCD)已经成为网络环境下数字化设计与制造的关键技术之一,异构CA......
《形式语义学》是计算机软件与理论专业的研究生学位课,在研究生计算机教育中占有重要的地位。它是程序设计理论的组成部分,以数学......
rCOS是A Refinement Calculus for Object Systems(对象系统的精化演算)的简称。它以统一程序设计理论(Unifying Theories of Prog......
随着网络技术的飞速发展,人们迫切需要实现松散耦合的、语言独立的、跨平台的异构应用集成与交互机制。Web服务作为一种快速发展的......
通过对IEC61850标准中变电站配置语言(Substation Configuration Language,SCL)的XML Schema(Extensible Markup Language Schema)......
针对当前可信编译器对源语言处理能力的局限,提出了1个适于可信编译器的源语言转换与检查框架,将命令式源语言程序转换为可信编译......
安全进程代数可以作为信息流安全的基础理论框架.本文引入了一种基于CCS的安全进程代数,描述了它的语义及等价模型.......
本文采用形式语义研究方法,结合实例重点探讨了高级语言程序设计中局部变量在语句块中的作用域问题,从而帮助高级语言程序学习者从......
基于并行语言的操作语义,提出一组将语言构造模块转化为硬件电路的规则.利用这些规则,系统地将程序转化为由寄存器、锁存器及数据......
用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型.分别用二元组和四元组描述Verilog非并......
如何快速、直观地设计出线束工艺图纸一直是线束生产企业需要重点解决的难题。利用通用CAD系统进行线束设计缺乏特定领域所具有的......
Java虚拟机支持一种功能很强的动态加载类的机制,它具有惰性加载、类型安全连接、用户自定义加载策略、以及动态名字空间等特性.但......
为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件......
针对类Java的面向对象语言m Java到类Dalvik的寄存器架构虚拟机Micro-Dalvik 的编译验证，给出了m Java语言和Micro-Dalvik的操作语......
UML状态机(SM)是UML中用来对系统各种元素的离散行为建模的图.它丰富的表示符号提供了强大的描述机制,但也降低了其结构的模块性,......
心理语言学的认知发展过程证明在语言获得的早期经历了一个自主的归纳学习过程，本文的出发点是语言发展的规律，并将词结构形语义的获......
状态机作为一种描述实体间交互或者单个实体行为的建模图，它具有丰富的直观图形化的符号。在许多模型的设计阶段都采用它来建模。但......
面向对象标准建模语言UML(unified modeling language)缺乏精确的动态语义.根据UML1.1语义文档,提出描述对象状态机的UML Statecha......
函数式语言和逻辑语言在下列意义上是互补的,基于归约的函数式程序设计语言具有确定和懒惰求解等性质.但同时它又缺少诸如存在量化......
无线传感网的发展，使其需要具有高效地更新其上运行的应用软件的能力．为了解决这个问题，提出了一种面向无线传感网应用重编程的逻辑式......
多个主体之间的安全会话需要有可靠的多方认证协议来保证。基于安全协议的操作语义模型，分析了三方认证协议BNV的安全性，结果表明该......
以SOS规则的方式定义了含中断和精化算子的进程代数LOTOS的操作语义，使得这一操作语义与指称语义相对应，即：由指称语义导出的传输系统......
操作语义通过规定程序设计语言在抽象机器上的执行过程来描述程序设计语言的含义。本文通过实例,运用操作语义对程序设计语言中的w......
提出对基于OWL-S描述的语义Web服务操作语义的Petri网描述新方法。选择动态描述逻辑的动作理论作为语义Web服务描述的逻辑基础,一......
硬件描述语言及相关的系统验证等技术的研究是当今电子设计自动化领域的一个重要课题.通过对硬件描述语言VHDL的子集进行了基于结......
SystemC是一系统级描述语言。与传统的编程语言相比,它具有一些新的编程特性:延迟的事件通告、延迟事件通告的重载、延迟事件通告......
介绍了一个面向过程语言的文法特点,应用ANTLR实现了该语言操作语义的动态演示,系统可辅助教师进行课堂教学,为学生自主学习提供良......
模型检验是一种重要的形式化自动验证技术。Statecharts是一种用以规约复杂反应式系统行为的可视化语言。为了验证Statecharts模型......
TTCN作为一种形式化的测试集描述语言,已经得到了广泛的应用.在介绍了并发TTCN的基本概念之后,接着介绍TTCN2的操作语义及相关算法......
研究了协同CAD系统的操作语义,给出了操作语义的定义和描述方法、操作语义的识别技术以及基于本体的映射模型,在此基础上提出了一......
信息物理融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。为此，引入实时系统的规范语言STeC，用于刻画具有......
给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局......
使用形式化方法对程序进行验证是保证软件可信的重要手段．对于像C语言这样的较低级的命令式语言可以直接对内存进行操作，对其操作语......
随着全球信息量的不断膨胀,对数据的存储尤其是快速访问提出了新的要求,为解决这一问题提出了SAN存储区域网络技术,而这一技术的核......
近年来，越来越多的以计算机网络为平台的应用系统表现出自主性、动态性、开放性和异构性的特点，这使得软件开发理论和技术需要从软件......
形式化方法在程序验证、模型检测的研究有着重要作用，集成形式化方法是形式化方法发展的一个方向．BCCS模型是集成B方法和进程代数CCS......
目前被人们广泛采用的处理函数式Ｉ／Ｏ的机制有三种，ＭｏｎａｄＤｉａｌｏｇｕｅ，ＣＰＳ，本文采用ＣＣＳ的理论和方法，把互模拟等价作为Ｉ／Ｏ程序的相等关系，描述了这三种Ｉ／Ｏ机制的操作语义，推......
