...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Science of Computer Programming >Specification and (property) inheritance in CSP-OZ
【24h】

Specification and (property) inheritance in CSP-OZ

机译：CSP-OZ中的规范和（属性）继承

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

CSP-OZ [C. Fischer, CSP-OZ: A combination of Object-Z and CSP, in: H. Bowman, J. Derrick (Eds.), Formal Methods for Open Object-Based Distributed Systems, FMOODS'97, vol. 2, Chapman & Hall, 1997, pp. 423-438] is a combination of Communicating Sequential Processes (CSP) and Object-Z (OZ). It enables the specification of systems having both a state-based and a behaviour-oriented view using the object-oriented concepts of classes, instantiation and inheritance. CSP-OZ has a process semantics in the failure divergence model of CSP, In this paper we explain CSP-OZ and investigate the notion of inheritance. Furthermore, we study the issue of property inheritance among classes. We prove in a uniform way that behavioural subtyping relations between classes introduced in [H. Wehrheim, Behavioural subtyping in object-oriented specification formalisms, University of Oldenburg, Habilitation Thesis, 2002] guarantee the inheritance of safety and "liveness" properties.
机译：CSP-OZ [C. Fischer，CSP-OZ：Object-Z和CSP的组合，在：H. Bowman，J。Derrick（编辑），《基于开放对象的分布式系统的形式化方法》，FMOODS'97，第1卷。 2，Chapman＆Hall，1997，pp.423-438]是通信顺序过程（CSP）和对象Z（OZ）的组合。使用类，实例化和继承等面向对象的概念，它可以规范具有基于状态和面向行为的视图的系统。 CSP-OZ在CSP的故障散度模型中具有过程语义，在本文中我们将解释CSP-OZ并研究继承的概念。此外，我们研究了类之间的属性继承问题。我们以统一的方式证明了[H. Wehrheim，面向对象的规范形式中的行为子类型，奥尔登堡大学，适应性论文，2002年）保证了安全性和“生命力”属性的继承。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号