• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Fundamental approaches to software engineering >Constructs, COncepts and Criteria for Reuse in Concurrent Object-Oriented Languages
【24h】

Constructs, COncepts and Criteria for Reuse in Concurrent Object-Oriented Languages

机译：并发面向对象语言重用的构造，概念和条件

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

摘要

For reuse in concurrent object-oriented languages we present a set of reuse constructs. We give criteria for relations between classes that can be implemented by those reuse constructs, characterize the propertie inherited via the constructs and explore that we have not only constructs but concepts for reuse. We demonstrate the concepts and constructs with the object-oriented concurrent language Maude. We employ the #mu#-calculus to reason about these specifications and (bi) simulation relations parameterized with Galois connections to model reuse.
机译：为了在并发的面向对象语言中进行重用，我们提供了一组重用结构。我们给出了可以由那些重用构造实现的类之间关系的标准，表征了通过这些构造继承的属性，并探索了我们不仅具有构造，而且具有重用的概念。我们使用面向对象的并发语言Maude演示了概念和构造。我们使用＃mu＃演算来推理这些规范，并使用Galois连接参数化（bi）仿真关系以进行模型重用。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号