• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Intelligent distributed computing IV >High-Level Petri Nets with Object-Orientation A High-Level Petri Net Model Allowing Multiple Inheritance and Multiple Polymorphism
【24h】

High-Level Petri Nets with Object-Orientation A High-Level Petri Net Model Allowing Multiple Inheritance and Multiple Polymorphism

机译：面向对象的高级陪替氏网允许多重继承和多态的高级陪替氏网模型

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

摘要

This paper presents a high-level Petri net model called High-Level Petri Nets with Object-Orientation (HLPNOO), a new approach for introducing object-oriented concepts into the framework of Petri nets. An important feature of the HLP-NOO formalism is the fact that it allows distinct hierarchies for subtyping and sub-classing. We use order-sorted algebras in order to specify the notion of subtyping for object type hierarchies. Moreover we use the notions from category theory and institutions in order to allow composable Petri nets and multiple inheritance. We use encapsulated multi-methods and a multi-dispatching mechanism for messages in order to safety integrate the concepts of covariant and contravariant specialization of inherited methods and to allow the multiple polymorphism.
机译：本文提出了一种高级Petri网模型，称为高级面向对象的Petri网（HLPNOO），这是一种将面向对象的概念引入Petri网框架的新方法。 HLP-NOO形式主义的一个重要特征是它为子类型化和子类化提供了不同的层次结构。为了指定对象类型层次结构的子类型化概念，我们使用顺序排序的代数。此外，我们使用类别理论和制度的概念来允许可组合的Petri网和多重继承。我们使用封装的多方法和消息的多调度机制，以安全地集成继承方法的协变和逆变专业化的概念，并允许多态性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号