指称语义相关论文
该文旨在全面深入地研究实时数据库中的主动规则系统.在分析现有规则模型的基础上,提出一种基于图的规则模型E-RG,并全方位地研究......
建模和仿真技术日益成为研究复杂系统的主要手段。针对科学研究和产业领域的热点问题,涌现出大量仿真框架、模型、组件和工具等,其......
在研究关于CSP并发指称语义的不同研究方法的基础之上,利用广义状态的概念和完备距离空间作为指称的方法,讨论了OCCAM的一个子集OC......
接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了......
为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语......
安全进程代数可以作为信息流安全的基础理论框架.本文引入了一种基于CCS的安全进程代数,描述了它的语义及等价模型.......
VHDL是一种广泛使用的硬件描述语言.但长期以来缺乏严格的形式语义.文章介绍并分析了若干具有代表性的VHDL指称语义的研究工作.在......
1 引言主动数据库的主动特性一般使用E-C-A(Event-Condi-tion-Action)规则模型描述.我们用CA规则表示ECA规则模型中的Condition和A......
文中讨论了谓词转换器和状态转换器之间的对应关系，将谓词转换器作为命令的指称，刻画了IMP语言命令的指称语义，并证明与状态转换器形......
文献[8]借鉴Dijkstra的监督命令程序结构，给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上，进一步扩充和完善，并根据指称......
为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件......
作为XML（extensible markup language）数据查询的核心操作，树模式查询的应用前景广泛，其研究具有重要意义。针对扩展的树模式GTP＋＋（genera......
文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱（线性）前置条件语义.首先,借助模糊逻辑中的三角......
文章提出一种基于轨迹的指称语义框架，该框架结合了操作语义和代数语义的特征，避免使用专门的数学理论，将静态语义和动态语义结合在一......
统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括......
使用扩展的持续时间演算(EDC)模型,给出了时间化的RAISE描述语言(RSL)的一个子集的指称语义.在扩展的持续时间演算模型中加入了一......
Tabular 表达式是一种采用表格化结构组织函数或关系的形式化描述工具，在需求工程领域中具有广泛的应用，为Tabular表达式建立形式的......
给出了连续Domain基的一些等价刻划。引入了连续Domain权的概念，并且讨论了它与连续Domain带上Scott拓扑构成的拓扑空间权的关系。......
以SOS规则的方式定义了含中断和精化算子的进程代数LOTOS的操作语义，使得这一操作语义与指称语义相对应，即：由指称语义导出的传输系统......
统一建模语言UML是近年来软件工程领域的重要成果之一．在UML规范中，静态语义是用OCL语言和自然语言描述的，而动态语义基本上是用自然......
补偿通信顺序进程（cCSP）是通信顺序进程用于长事务建模的扩展，可用来描述服务计算中的编制程序，比如WS-BPEL程序。目前，cCSP只有操作语......
文章提出了一个简化的Java语言SimpleJ并给出了此语言的指称语义。SimpleJ是一个简单的面向对象语言,具有Java语言的基本语义特点，......
接续和直接指称语义之间的转换的主要难点在于不保函数基调．基于Monad思想推导出的接续语义函数和直接语义函数之间的关系，给出了基......
连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的......
本文利用形式化的方法对System Verilog的指称语义进行研究，采用EBES（extended bundle event structure）作为抽象模型，以便更好的描述S......
在计算机科学中，形式语义学以数学为工具，精确地定义和解释计算机程序设计语言的含义或语义．其中操作语义学和指称语义学是形式语义学......
主要从理论上研究保证分布式计算中资源安全性的方法。抽象地将每个进程表示为一个数据对,由给定资源和分配给分布式计算的资源两......
智能神经网络程序设计语言NIPL是应用智能神经网络系统理论、开发智能神经网络应用系统的有力工具。着重讨论了NIPL中有关规则的指......
ATLAS(Abbreviated Test Language for All Systems)是一个被广泛应用于军事和电子测试的通用标准测试语言。在国外航空航天、大型......
信息物理融合系统是一种融合了感知、计算、通信、控制能力的物理设备系统,通过系统内物理进程与计算进程相互影响的反馈循环从而......
针对Ｐｅｙｔｏｎ Ｊｏｎｅｓ ＆ Ｗａｄｌｅｒ在ＩＯ Ｍｏｎａｄ设计的一个基于状态转换的函数Ｉ／Ｏ系统中，存在着某状态没有显式地反应在ＩＯ类型中，为了克服诸于此类问题，定义了状态转换器及......
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了client must-testing（CLT）语义,s......
以Prolog为代表的逻辑程序设计(LP)语言是一类重要的人工智能应用语言。其主要特点是问题描述和问题求解过程的分离。如何利用LP语......
无线网络己经被广泛运用于人们日常生活中的许多方面。尤其是在缺少固定基础设施的情况下,无线网络和无线技术是合适的通信解决方......
序言1.属性文法的基本既念1.1基本概念1.2实例2.属性的计算与属性文法的分类2.1 属性计算器的种类2.2 属性计算策略及其不确定性2.......
Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义．......
