多态性构件及其代数规范

摘要：

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

关键词：构件、多态、代数规范、空间几何实体、形式化

所属期刊栏目：30

分类号：TP301(计算技术、计算机技术)

资助基金：浙江省教育厅基金项目20060579

在线出版日期：2010-01-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：5058-5061,5064