论文部分内容阅读
可复用构件往往需要引入多态性支持，但是这给构件的形式化定义带来很多困难。采用代数规范系统来定义空间几何实体构件的组织结构及其行为特征，可以有效的支持构件的数据和行为多态性。在多层次的代数规范理论基础上，引入了构件的参数化多态和包含多态，建立了空间几何的实体多态性构件系统，实例表明了系统对于数据和行为多态性方面的有效性。