【摘 要】
:
rCOS是A Refinement Calculus for Object Systems(对象系统的精化演算)的简称。它以统一程序设计理论(Unifying Theories of Programming) [3]为基础,是一种面向对象的描述
论文部分内容阅读
rCOS是A Refinement Calculus for Object Systems(对象系统的精化演算)的简称。它以统一程序设计理论(Unifying Theories of Programming) [3]为基础,是一种面向对象的描述语言,定义了一种用于描述面向对象程序设计结构的形式规范。rCOS具有非常丰富的语言特征,包括子类(subtypes)、引用类型(reference type)、可见性(visibility)、继承(inheritance)、多态(polymorphism)、动态绑定(dynamic binding)等。本文采用形式化的方法给出了rCOS的一种结构化操作语义。对于一段rCOS程序,按照操作语义给出的变迁规则模拟执行就能动态的产生对象图,而另一方面静态分析程序段的类声明部分就能得到对应的类图::对象图和类图构成了rCOS程序的抽象模型。文中给出的操作语义一方面能动态地构建了对象图,同时又能捕获对象之间的关系。这样有助于帮助理解程序的行为,使得在程序分析方面起到了一定的作用,尤其在当前软件工程领域有着广泛应用的设计模式的识别上。文中将设计模式的性质定义为两类:通用属性和用户相关属性。为了能描述对象图或者类图上对象与对象或者类与类之间的关系,我们定义了一种关系演算,将类之间的关系分为继承和包含,对象之间的关系分为创建、调用和引用。文中选取抽象工厂模式、观察者模式、组成模式等为例,说明该关系演算能刻画设计模式性质。最后,本文给出一种通用的检查算法。在此基础上,又通过实验来说明算法的高效性以及能在程序段中自动判断设计模式是否正确的应用,从而能自动识别程序段中好的模式和坏的模式。
其他文献
随着无线网络的快速发展和广泛应用,各类有严格时延、错误率限制的多播业务需求正在迅猛增加。而无线网络本身带宽多变、终端异构、丢包率高等与生俱来的特点对网络结构和协
视觉媒体包含着丰富的信息,而且现在已经广泛渗入人们的生活与工作当中,并对人们的生理和心理产生着潜移默化的影响。因此,视觉媒体与用户情绪反应之间的分析和建模研究已成
近年来,随着图像处理应用越来越广泛和深入,其对图像质量的要求也越来越高,对高分辨率图像的需求也越来越大,图像超分辨率一直以来都是计算机科学研究的热点。而由于物理器件
现今的并行编程实践多采用锁来同步对共享资源的访问,编程难且易出错;新引入的原子区构造虽简化了编程,但支持其实现的软硬件技术尚不令人满意。本文就同步提出一种新的语言
对于主观题自动评分问题,国外的研究已经达到了一定的成熟程度。研究人员开发了一些基于自然语言处理(natural language processing,NLP)技术的实用的评分系统,并提出了一些基于
近年来随着信息技术特别是网络和多媒体技术的发展,电子学档受到了广泛的关注。但是到目前为止,在网络学习环境下很少有成型的电子学档应用于教学实践中,也没有把电子学档的应用
软件复用是近年来国内外软件界研究的热点之一,它能大幅度提高软件质量和生产率,降低软件开发和维护的成本。而如何有效地检索到用户所需要的软件构件是实现软件复用的一项关
由于计算机硬件的元器件、集成度、工艺和体系结构的发展几乎到了极限,因此,并行处理技术成为提高计算机性能的重要手段。并行程序设计和并行编译技术是并行处理技术的关键,
无线传感器网络是二十一世纪最重要的技术之一,它是把物理世界与数字世界联系起来的纽带,以此为基础的物联网应用呈现出发展的态势。由于传感器节点易失效性,大规模传感器网
2003年,Sattam S.Al-Riyami和Kenneth G.PatersonSattam首次提出了无证书公钥密码学这一新概念。与传统公钥密码学和基于身份密码学相比,无证书公钥密码学主要有两方面的优点