期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到8篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
对象演算Ⅰ 被引量：4
1
作者 黄涛 钱军 周桓 《软件学报》 EI CSCD 北大核心 1999年第9期931-940,共10页
对象演算是一个面向对象的逻辑演算系统，它建立在描述具有内部状态的动态演变实体的Ｔｒａｃｅ演算之上．对象比一般意义下的动态实体具有更多和更好的特性，特别是封装性．为此，文章引入有效动作的概念，通过对象的有效动作来刻画对... 对象演算是一个面向对象的逻辑演算系统，它建立在描述具有内部状态的动态演变实体的Ｔｒａｃｅ演算之上．对象比一般意义下的动态实体具有更多和更好的特性，特别是封装性．为此，文章引入有效动作的概念，通过对象的有效动作来刻画对象的封装性，即只有对象的有效动作才能访问或修改对象的属性值，从而对Ｔｒａｃｅ 演算的语义模型加以限制，得到对象语义解释模型．作为逻辑系统，文章还讨论了对象演算的公理化，它是Ｔｒａｃｅ 演算公理系统的扩充．作为应用。 展开更多
关键词 对象演算 公理化 对象语义描述 形式语义理论
下载PDF
对象演算Ⅱ 被引量：2
2
作者 黄涛 钱军 王栩 《软件学报》 EI CSCD 北大核心 1999年第9期941-951,共11页
文章应用Ｇｏｇｕｅｎ 等人的结论证明并得到了几个结构化对象演算的基本定理．一方面，这些定理保证了该文可由现有对象的描述构造新对象的描述，并且可以把建立在现有对象上的定理作为整个对象描述和验证的引理．另一方面，文章还讨... 文章应用Ｇｏｇｕｅｎ 等人的结论证明并得到了几个结构化对象演算的基本定理．一方面，这些定理保证了该文可由现有对象的描述构造新对象的描述，并且可以把建立在现有对象上的定理作为整个对象描述和验证的引理．另一方面，文章还讨论了基于封装性的对象精化． 展开更多
关键词 结构化 对象演算 Ω-理论 形式语义理论
下载PDF
数据库对象和型的广义结构模型——第二部分:型的结构模型
3
作者 陈其明 《计算机学报》 EI CSCD 北大核心 1989年第8期570-577,共8页
本文的这一部分论述了以下内容: (1)型的结构模型,阐明型的集合在次型关系下做成一半序格并与其在子对象关系下做成之半序格对偶.通过类比统一了型与对象的概念,并导出对象和类的符号对象模型的共同理论基础. (2)型的重构理论,给出保息... 本文的这一部分论述了以下内容: (1)型的结构模型,阐明型的集合在次型关系下做成一半序格并与其在子对象关系下做成之半序格对偶.通过类比统一了型与对象的概念,并导出对象和类的符号对象模型的共同理论基础. (2)型的重构理论,给出保息重构(保持信息容量)和相容重构(保持解释空间)的概念. (3)建立在重构理论基础上的对象演算. 展开更多
关键词 数据库 结构模型 型 对象演算
下载PDF
一个并发对象演算
4
作者 张黔 李卫华 +1 位作者 傅建明 金涛 《计算机研究与发展》 EI CSCD 北大核心 1999年第5期572-576,共5页
由于缺乏一个为人们接受的描述并发对象系统语义的形式化模型，并发面向对象程序设计语言的开发受到了很大的制约．为了给并发面向对象程序设计定义一个公共的语义框架，人们分别以π－演算和ａｃｔｏｒ模型为基础进行了研究．综合这两... 由于缺乏一个为人们接受的描述并发对象系统语义的形式化模型，并发面向对象程序设计语言的开发受到了很大的制约．为了给并发面向对象程序设计定义一个公共的语义框架，人们分别以π－演算和ａｃｔｏｒ模型为基础进行了研究．综合这两种方法，文中定义了一个形式化模型．该模型具有清晰的形式化定义，既可重用标准的并发性理论，还保存了高级面向对象的程序设计风格．本文还提供了一个ａｃｔｏｒ代数及一个并发对象演算，并在两者之间建立起变换关系． 展开更多
关键词 面向对象 操作语义 程序设计 并发对象演算
下载PDF
一种带有delegation的对象演算
5
作者 杨群 陈宏兵 许满武 《计算机科学》 CSCD 北大核心 2007年第4期250-253,共4页
随着研究与应用的深入,传统的基于类的面向对象语言对动态变化要求的支持不足越来越明显。而且,由于软件系统复杂性的不断提高,这个问题变得更加突出。近年来,人们一直在进行着各种研究和尝试,寻求解决办法。delegation是一种在基于原... 随着研究与应用的深入,传统的基于类的面向对象语言对动态变化要求的支持不足越来越明显。而且,由于软件系统复杂性的不断提高,这个问题变得更加突出。近年来,人们一直在进行着各种研究和尝试,寻求解决办法。delegation是一种在基于原型的面向对象语言中实现的对象动态继承,由于它支持对象行为在运行期动态改变,能提供对象动态扩展功能的能力,因此探讨如何在基于类的面向对象语言中引入delegation成分,以提供软件运行时刻的结构与行为变更能力,是十分有意义的。本文提出了一种命令式、带有delegation的Φ对象演算,以该演算系统刻划程序设计语言的基本特征;通过给出Φ演算的语法和操作语义;详细描述程序中各种操作的实现方法;着重说明在程序语言中引入delegation成分后,对象之间共享方法和对象扩展功能所具有的灵活性和简单性。从而说明在程序语言中引入delegation,以支持软件动态变更是一种有效且可行的途径。 展开更多
关键词 基于类的面向对象语言 基于原型的面向对象语言 西对象演算
下载PDF
扎尔塔的二阶模态对象演算
6
作者 朱建平 《山东师范大学学报（人文社会科学版）》 北大核心 2010年第3期93-98,共6页
扎尔塔所构造的的二阶模态对象演算[1](P249-279)是一个抽象对象公理理论的逻辑系统。该系统有若干重要而有趣的特征;配有复杂类型论的演算系统,能用于分析自然语言的内涵语境,因而其本身也是一个内涵逻辑系统。而演算的简单二阶形式则... 扎尔塔所构造的的二阶模态对象演算[1](P249-279)是一个抽象对象公理理论的逻辑系统。该系统有若干重要而有趣的特征;配有复杂类型论的演算系统,能用于分析自然语言的内涵语境,因而其本身也是一个内涵逻辑系统。而演算的简单二阶形式则表达了一个关于性质、关系和命题的理论,同时它也为定义情景、可能世界、故事和虚构人物提供了一个框架。扎尔塔的二阶模态对象演算不同于通常的二阶模态谓词演算,二阶对象演算极强的表达力大大增强了它处理逻辑和哲学问题的能力。 展开更多
关键词 二阶模态对象演算 抽象对象 具体对象
下载PDF
对象式Lam bda演算的自作用部分计值 被引量：4
7
作者 王明文 孙永强 《软件学报》 EI CSCD 北大核心 2001年第8期1154-1161,共8页
讨论了一个对象式 Lambda演算的部分计值器 .对象式 L ambda演算在 Lambda演算的基础上添加了对象机制 .部分计值器的构造是采用传统的三步法 ,首先定义对象式 L ambda演算的元解释器 ;然后提出对象式Lambda演算的约束时间分析方法 (bin... 讨论了一个对象式 Lambda演算的部分计值器 .对象式 L ambda演算在 Lambda演算的基础上添加了对象机制 .部分计值器的构造是采用传统的三步法 ,首先定义对象式 L ambda演算的元解释器 ;然后提出对象式Lambda演算的约束时间分析方法 (binding- time analysis) ,约束时间分析决定哪些计算可以在编译时完成 ,哪些计算需留在运行时执行 ;最后定义部分计值器 .同时 。 展开更多
关键词 程序转换 部分计值 对象式Lambda演算 面向对象 程序设计语言
下载PDF
基于rCOS的UML状态图语义研究 被引量：1
8
作者 张晓蒙 戎玫 张广泉 《计算机工程》 CAS CSCD 北大核心 2009年第2期21-23,共3页
统一建模语言(UML)中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件,从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态... 统一建模语言(UML)中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件,从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态图的形式化语义,给出与类图、序列图的一致性检验,为模型驱动开发提供了可行性。 展开更多
关键词 统一建模语言 对象精化演算系统 状态图
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部