基于Object-Z多态推理

摘要：

Object-Z是形式规格说明语言Z的面向对象扩充,基于严格的集合论与数理逻辑,具有面向对象的特点:类、对象、继承、封装与多态等.用它可以精确描述大型软件需求规格说明,且能够进行严密的逻辑推理与验证.本文主要探讨了它的多态性推理,给出了相应的推理规则与方法,可以推理出Object-Z的多态行为,并着重体现推理的重用.

关键词：Object-Z、多态、前置条件、后置条件、推理、重用

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60373072;上海市教委资助项目

在线出版日期：2006-09-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：230-232,256