面向对象Z的子类型继承和推理规则

• 作者: 李必信 王云峰 郑国梁
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 形式方法 面向对象 继承 子类型 形式规约
• 年，卷（期）: 2000,（4）
• 页码范围: 481-487
• 页数: 7页
• 分类号: TP311
• 字数: 5396字
• 语种: 中文

摘要

讨论了COOZ(complete object-oriented Z)中的继承关系,将继承分为增量继承和子类型化继承,并重点讨论了子类型化继承.定义了一种行为子类型化继承,证明了该方法的合理性,并据此定义了COOZ的规约继承及规约继承的推理规则.所讨论的子类型化方法与E.Cusack等人的方法相比,具有可构造性,并且比Liskov等人的方法具有更大的灵活性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑国梁	南京大学计算机软件新技术国家重点实验室	77	1523	21.0	37.0
2	李必信	南京大学计算机软件新技术国家重点实验室	25	467	11.0	21.0
3	王云峰	南京大学计算机软件新技术国家重点实验室	14	226	6.0	14.0