%0 Journal Article
%T Reasoning about Polymorphic Behavior in Object-Z<br>基于Object-Z多态推理
%A WEN Zhi-Cheng
%A MIAO Huai-Kou
%A SUN Jun-Mei
%A <br>文志诚
%A 缪淮扣
%A 孙军梅
%J 计算机科学
%D 2006
%I 
%X Object-Z is an extension to the formal specification language Z,which facilitates specification in an object-oriented style and thus has object-oriented characteristics.It improves the clarity of large specifications through enhanced structuring.Class and its relationship construction technology in Object-Oriented method(OO)are apt to describe large-scale and complicated system with Object-Z,based on mathematics logic and set theory,thus we can reason about its formal specification.One of the most important ideas underlying the object-oriented approach is polymorphism.This paper discusses how to reason about the polymorphic behaviors in Object-Z and presents its inference rule.With our approach,we can reason about the specific behaviors of subclass objects.Moreover,we take into account the reuse of reasoning emphatically.
%K Object-Z<br>多态
%K 前置条件
%K 后置条件
%K 推理
%K 重用
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=0E8893D6E0A7ABD5&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=DF92D298D3FF1E6E&sid=D6354F61445E9456&eid=E1D946F217E3B046&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=7