1认识继承反常现象-软件学报.docVIP

并发面向对象中的继承反常现象( 王生原1+, 杨良怀2, 袁崇义3, 杨 萍4 1(清华大学 计算机科学与技术系,北京 100084) 2(新加坡国立大学 计算学院 计算机科学系,新加坡) 3(北京大学 计算机科学技术系,北京 100871) 4(兰州大学 信息科学与工程学院,甘肃 兰州 730000) Inheritance Anomaly in Concurrent Object Orientation* WANG Sheng-Yuan1+, YANG Liang-Huai2, YUAN Chong-Yi3, YANG Ping4 1(Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China) 2(Department of Computer Science, School of Computing, National University of Singapore, Singapore) 3(Department of Computer Science and Technology, Beijing University, Beijing 100871, China) 4(School of Information Science and Technology, Lanzhou University, Lanzhou 730000, China) + Corresponding author: Phn: +86-10 Fax: +86-10 E-mail: wsy@163.net, Received 2002-10-08; Accepted 2003-01-05 Abstract: The combination of concurrency and object orientation is definitely natural except for inheritance. One of the interferences between inheritance and concurrency is inheritance anomaly. Although having been researched extensively, inheritance anomalies are still only vaguely defined and often misunderstood, and no much formal work has been done. A new viewpoint is set forth for understanding inheritance anomalies, in which each subtyping relation has its specific incremental inheritance. Related concepts and definitions are formalized through the language of Category. Some issues are well adapted to distinguish and explain different standpoints about inheritance anomalies, and can serve as guidelines in the modeling of inheritance. Key words: concurrency; object orientation; inheritance anomaly; incremental inheritance; category theory 摘 要: 如果不考虑继承性,并发性与对象技术的结合是很自然的.继承反常(又称继承异常)现象是继承性和并发性不相容的主要原因之一.现阶段人们对继承反常现象的认识有许多模糊之处,出发点不尽相同,形式化的工作也很少.对不同的subtyping关系考虑其特有的渐增式继承方法有利于把握继承反常现象的实质,也丰富了“在并发面向对象语言中应将inheritance层次和subtyping层次区别对待”这一认识的内涵.在阐述基本观点之后,采用范畴论的术语对相关的概念和定义做了形式化工作.一些观点和结论适用于区分和解释相关工作的出发点和贡献,并对并发面向对象技术中继承性的建模问题有所启示. 关键词: 并发性;面向对象;继承反常;渐增式继承;范畴论 中图法分类号: TP301　　　文献标识码: A Inheritanc