继承和合成--浅谈类的重用

面向对象的程序设计的一个引人注目的特性就是代码的重用,与非面向对象的程序设计相比,除了可以进行代码的复制和修改以外,类的重用则成为最大的优势.     

并发面向对象语言的继承异常问题研究

1·引言随着面向对象技术的发展,面向对象程序设计语言在软件设计、模块化、可扩充性、可复用性等方面给软件开发人员带来了很大的方便[lj。继承是顺序面向对象语言的一个基本特点,继承机制是面向对象语言的重要机制之一,是实现软件复用和可扩充的有效语言机制。Bertrand Meyer曾指出纯00语言的七个特性川:①模块化结构;②数据抽象(对象是抽象数据类型的实现);③自动     

并发面向对象模型中继承异常的一种解决方案

1 引言继承机制是面向对象软件开发中的重要设施,是实现软件复用和扩充的一种有效的语言机制,它是顺序面向对象语言的一个基本特点。但是,在将面向对象技术与并发相结合的过程中,对并发控制机制处理不当,将会引起继承机制与并发控制间的冲突问题。这种冲突主要表现在:定义子类时需要修改(重定义)父类中的所有代码才能实现自身的并发控制,从而使得子类无法继承父类的代码,产生继承异常现象、继承异常的出现将进一步破坏面向对象技术的两大优点,即:继承和封装。所以,如何有效地避免继承异常或将继承异常的产生降低到最小的程度是并发面向对象模型所要研究的一个重要问题。     

单继承纪录类型的代数描述

通过在子类型和超类型之间引进类型转换函数,推广了有序类别代数的定义,按照这一定义,一个类型可以不一定是它的超类型的子集这使得记录模式成为有序类别代数,为了描述类型之间的单继承关系,引进了森林类别型构的概念,给出了等式的新意义,并证明了等式理论有初始模型。     

柔性继承机制的设计与实现

继承是面向对象程序设计方法中的重要特征之一。在分析了传统继承机制不足的基础上,将类比理论引入面向对象,提出了一种新的继承机制－－柔性继承机制。该机制在面向对象程序设计中增加了相似类、相似属性和相似方法的类比应定义及类比分析和推导方法,同时支持子类关系和类比关系,从而可增加灵活而有效地对已有软件进行复用。最后,介绍了支持柔性继承机制的语言ND＿Polya及其支撑系统的设计和实现。     

并发面向对象中的继承反常现象

如果不考虑继承性,并发性与对象技术的结合是很自然的.继承反常(又称继承异常)现象是继承性和并发性不相容的主要原因之一.现阶段人们对继承反常现象的认识有许多模糊之处,出发点不尽相同,形式化的工作也很少.对不同的subtyping关系考虑其特有的渐增式继承方法有利于把握继承反常现象的实质,也丰富了"在并发面向对象语言中应将inheritance层次和subtyping层次区别对待"这一认识的内涵.在阐述基本观点之后,采用范畴论的术语对相关的概念和定义做了形式化工作.一些观点和结论适用于区分和解释相关工作的出发点和贡献,并对并发面向对象技术中继承性的建模问题有所启示.     

基于Galois继承格的类层次组织

面向对象的编程方法从两个方面支持了软件重用，即用户直接实例化的类重用和实现者通过继承生产子类，从而也产生了用户角度类层次体系与实现者的类继承体系的分离。即使是实现相同功能集合的类库，由于其实现者技术不同类层次体系也不一致。本文通过对类继承关系的深入分析，提出了一个基于Ｇａｏｌｉｓ继承格的用户类层次体系结构，从而方便用户对类层次的理解及类的获取。     

对C++中继承的二义性之探讨

讨论了Ｃ＋＋中的继承关系,阐述了类型的重要性,着重探讨继承所产的二义性问题。     

并发行为对象的构造

本文提出了一种新的刻划并发行为的方法.这种方法的基础是笔者近年来设计并实现的一种面向对象的程序设计语言.尽管语言本身没有特别引入用于并发程序设计的设施,但它却能用来描述各种并发行为的模型,并以完善的高级形式提交给用户.     

型构兼容的继承及其语义

本文揭示了在面向对象程序设计语言中,若劲旅子类重定义其继承的分类方法以发迹这些方法的规约,并且采用类似于Ｓｍａｌｔａｌｋ－８０中的继承机制的语义,将导致封将与继承之间的一个新总是为此,本文提出了一种新的继承机制－型构兼容的继承,以代替传统的增量继承。型构兼容的继承是一种灵活的代码复用机制,并且能够充分支持封装。     

并发面向对象程序设计语言研究与进展

随着面向对象程序设计的普及和对并发应用程序需求的增加，并发面向对象程序设计语言的设计日益成为研究热点。     

一个并发对象演算

由于缺乏一个为人们接受的描述并发对象系统语义的形式化模型,开发面向对象程序设计语言的开发受到了很大的制约,为了给并发面向对象程序设计定义一个公共的语义框架,人们分别以π演算和ａｃｔｏｒ模型为基础进行了研究。     

面向对象语言中的数据抽象和继承性

面向对象程序设计是一种实用的支持模块化设计和代码复用的程序设计方法。大多数面向对象语言均支持信息隐蔽的数据抽象和封装。然而继承性的存在却严重地削弱了封装带来的好外。本文讨论了信息隐蔽和继承性间的关系，并描述了一种支持封装的多路继承机制。     

面向对象编程与定理证明相结合实现问题自动求解

本文针对一类智能决策支持系统中,基于模型行为仿真以实现解题过程自动化的需要,提出对模型对象行为的一阶谓词演算型表达和面向对象型模型处理过程的形式化体系。将问题自动求解过程转化为逻辑运算过程,通过归结反演求取问题的解。文中给出一个应用实例。     

一种并发程序依赖性分析方法

并发程序的依赖性分析是并发程序分析，理解，调试，测试和维护的重要手段，由于并发程序执行的不确定性，目前，尚有很多难点有待解决，针对Ada任务机制，首先提出了一种简洁，有效的并发程序表示方法－并发程序流图，然后讨论了由任务间同步引起的同步依赖和由访问共享变量引起的任务数据依赖，建立了并发程序依赖图，并在此基础上给出了一种有效的并发程序依赖性分析算法，得到一个比较精确的依赖性，较好地解决了并发程序依赖关系不可传递性问题。     

一种面向并行工程的设计过程管理体系结构

本文提出了一种基于计算机支持的协同工作面向并行工程的设计过程管理体系结构，它既有有效地支持并行设计，也可支持顺序设计。由于不同类型目标数据的设计过程的管理工作各不相同，为此引入了设计过程模糊板和触发事件的概念，以定义设计过程中不可预料的管理活动。     

基于装配关系的CAD并行设计支持系统原型的研究

分析了并行工程的特点以及当前机械ＣＡＤ系统的现状，提出在并行设计过程中根据产品的装配关系管理设计参数和几何模型。文中建立了一个数据模型描述机械产品零／部件的层次关系，装配关系以及参数间的继承与依存关系，最后讨论了基于此模型的并行设计支持系统的功能和工作原理。