摘要
1 引言面向对象的方法中,对象是作为现实世界中事物的自然映射。为了表达事物的分类关系,在面向对象领域中引入类型的概念,同一类对象具有相同的类型,不同类对象属于不同的类型。另一方面,在面向对象的软件开发的早期阶段,我们可能只知道某个数据抽象的部分操作和行为,随着软件开发过程的进展,对原有的数据抽象又有了新的要求,必须增加新的操作,从而产生新的数据抽象。新的数据抽象可看成是由老的数据抽象精化而来,它们分别由两种类型来描述,这两种类型之间存在子类型关系,而且这种精化过程可以重复多次,从而形成一个层次的子类型结构,它反映了程序各部分的不同要求。以层次方式来设计类型可以控制设计错误的影响范围,把握设计过程以及对实现给予指导。另外,满足子类型关系的继承还可以实现软件的设计重用,往往重用设计比重用代码更有利于软件开发。所以,为了进一步表达事物分类关系的层次性。
In this paper,subtyping relationships between objects in behavioral inheritance,role inheritance and signature-compitable inheritance are raised. Then grammar condition and semantics condition and sufficent & necessary conditon and shortcomings of all subtypes are also analyzed. Also then ,the connection between subtype and program refinement is discussed. Finally subtyping inference rules of behavioral subtype,role subtype,signature-compitable subtype and their fields subtype, methods subtype for object-orientation are given.
出处
《计算机科学》
CSCD
北大核心
1999年第7期23-27,32,共6页
Computer Science
基金
江苏省应用基础(编号BJ97036)资助
关键词
软件开发
面向对象
类型
子类型
推理规则
Subtype analysis,Behavioral inheritance,Role inheritance,Signature-compilable inheritance, Inference rule
