基于Object-Z多态推理

来源 :计算机科学 | 被引量 : 0次 | 上传用户:dionysos223
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Object-Z是形式规格说明语言Z的面向对象扩充,基于严格的集合论与数理逻辑,具有面向对象的特点:类、对象、继承、封装与多态等。用它可以精确描述大型软件需求规格说明,且能够进行严密的逻辑推理与验证。本文主要探讨了它的多态性推理,给出了相应的推理规则与方法,可以推理出Object-Z的多态行为,并着重体现推理的重用。
其他文献
介绍一种快速获取高纯度质粒DNA方法,在碱裂解法快速获取质粒DNA粗制品的基础上,利用一种不溶解蛋白质而溶解DNA的溶液TES纯化质粒DNA,同时对本法所提取的质粒的DNA的回收率、纯度及可能的用途进行
模式分解是减小关系数据库数据冗余,排除操作异常的有效工具,同时也是关系数据库数据模型设计的难点。针对该问题,本文基于分层递阶的思想,提出了一种方便可行的基于BCNF的数据模
基于水平集的曲线演化与活动轮廓模型相结合,产生了几何活动轮廓模型,由于其良好的特性,在图像分割领域已经有了广泛的应用。本文对于一种耦合的活动轮廓模型,应用变分法求解出其对应的水平集曲线演化的偏微分方程,并给出了解的存在惟一性证明,然后将它应用到图像分割和目标轮廓提取中,取得了良好的效果。
临床实践是护理专业学生进行综合训练的教学阶段,通过实习,使学生于临床实践中正确运用护理基本理论,掌握护理基本技能,适应以病人为中心的医学护理模式的转变.为了培养新型
组播技术是20世纪90年代初发展起来的网络传输新技术。本文主要介绍了组播技术的基本原理,描述其机制与特点,并具体说明了利用组播技术传输视频信息的方法和实现过程。
OMG在推出的CORBA3.0规范中提出了一个构件模型(CCM)。CORBA构件不仅定义了对外提供的功能,而且还定义了构件所需要的外部功能,使得构件可以利用接口进行组装。同时CCM借鉴了EJB、
针对现代企业文档管理的现状及需要,提出了一种基于Web的企业级文档管理系统中海量电子文档的分布式存储策略。详细描述了这一策略的物理架构、设计思路及实现。在文档管理系
测试用例的共享和复用对于提高测试工作的效率极为重要,本文提出了一个支持共享和复用的测试用例库系统,文章首先时测试用例的管理属性和测试用例体进行建模,然后描述了系统的版