多态性构件及其代数规范

• 作者: 邱剑锋 陈海波
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 构件 多态 代数规范 空间几何实体 形式化
• 年，卷（期）: 2009,（22）
• 所属期刊栏目: 软件与算法
• 页码范围: 5058-5061,5064
• 页数: 5页
• 分类号: TP301
• 字数: 4292字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邱剑锋	浙江大学计算机学院	3	32	2.0	3.0
2	陈海波	浙江理工大学数学系	7	8	2.0	2.0