期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

面向对象Z的子类型继承和推理规则 被引量：3

On Subtyping Inheritance and Inference Rules in Object Oriented Z
下载PDF
导出
摘要 讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所讨论的子类型化方法与 E.Cusack等人的方法相比 ,具有可构造性 ,并且比L The inheritance relation of COOZ is discussed. It is divided into increasing inheritance and subtyping inheritance. The latter is studied and a behavioral subtyping inheritance is defined, by which the specification inheritance and its inference rules are defined. The soundness of the method is proved. The offered method is constructive compared with that of E. Cusack and is more flexible than that of Liskov et al.
作者 王云峰 seg.nju.edu.cn 李必信 郑国梁
机构地区 南京大学计算机软件新技术国家重点实验室
出处 《软件学报》 EI CSCD 北大核心 2000年第4期481-487,共7页 Journal of Software
基金 国家自然科学基金!(No.69673006 ) 国家"九五"科技攻关项目基金!(No.98-780-01-07-06)资助
关键词 面向对象 继承 子类型 软件开发方法 推理规则 Formal method, object oriented, inheritance, subtyping, formal specification.
分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献3

  • 1Yuan Xiaodong，ACM Software Engineering Notes，1998年，23卷，4期，78页
  • 2Drossopolou S，Formal Method and Object Technology，1996年，262页
  • 3Liskov B，ACM Transactions Programming Languages Systems，1994年，16卷，6期，1811页

同被引文献22

  • 1Graeme Smith, The Object-z specification language[M]. Advances in Formal Methods, Kluwer Academic Publishers, 2000.
  • 2Liskov B& Wing J. A behavioral notion of subtyping[J]. ACM Transaction on Programming Languages and Systems, November 1994, 16(6):1811-1841.
  • 3Soundarajan N, et al, Behavioral subtyping and behavioral enrichment of multimethods[C], In: Proceedings of 34th International Conference on Technology of Object-Oriented Languages and Systems(TOOLS), Santa Barbara, CA, USA, 30 July - 3 August 2000, 105-114.
  • 4Robert Bruce Findler, Mario Latendresse, Matthias Felleisen, Behavioral contracts and behavioral subtyping[A]. In: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering[C], ACM Press, Sep. 2001, 26(5): 229-236.
  • 5Gary T. Leavens: JML's Rich, Inherited specifications for behavioral subtypes[C]. In: Proceedings of 8th International Conference on Formal Engineering Methods (ICFEM), Macao, China, November 1-3, 2006.
  • 6Bernhard K. Aichernig and Peter Gorm Larsen. A proof obligation generator for VDM-SL[C]. In: Proceedings of 4th International Symposium of Formal Methods Europe Graz, Austria, September 15-19, 1997, 338-357.
  • 7Wen Zhi-cheng, Miao Huai-kou, Zeng Hong-wei. Generating proof obligation to verify object-z specification[C]. In: Proceedings of International Conference on Software Engineering Advances, Papeete, Tahiti, French Polynesia, Oct. 2006, 38-43.
  • 8Shmuel Katz, Awais Rashido From aspeetual Requirements to proof obligations for Aspect-oriented systems[C]. In: Proceedings of 12th IEEE International Conference on Requirements Engineering (RE 2004), Kyoto, Japan, 6-10 September 2004, 48-57.
  • 9Choukair Z. Correctness proof obligation for CoCTelS telecom services composition model[C]. In: Proceedings of 19th International Conference on Advanced Information Networking Applications, Fukuoka, Japan, 2005, 893-900.
  • 10Cecile Canovas-Dumas and Paul Caspi, A PVS proof obligation generator for lustre programs[C]. In: Proceedings of 7th International Conference On Logic for Programming and Automated Reasoning(LPAR),Reunion Island, France, 2000, 47-101.

引证文献3

二级引证文献5

软件学报
2000年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部