您的位置： 专家智库 > >

谢连宝

作品数：2 被引量：0H指数：0
供职机构：中国人民解放军装备学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 2篇自动化与计算...

主题

  • 2篇动态校验
  • 2篇映射
  • 2篇映射算法
  • 2篇PETRI网

机构

  • 1篇中国人民解放...

作者

  • 2篇林琪
  • 2篇谢连宝

传媒

  • 1篇中南大学学报...

年份

  • 2篇2013
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
支持动态校验的概念模型映射算法
提出将概念模型状态图描述转化为Petri网描述以支持动态行为校验,为此需要实现概念模型UML状态图与Petri网模型的映射算法。首先介绍概念模型动态行为描述方法的特点,并分析基于Petri网实现概念模型动态校验的优点,然...
林琪谢连宝
关键词：PETRI网映射
文献传递
支持动态校验的概念模型映射算法
2013年
提出将概念模型状态图描述转化为Petri网描述以支持动态行为校验,为此需要实现概念模型UML状态图与Petri网模型的映射算法。首先介绍概念模型动态行为描述方法的特点,并分析基于Petri网实现概念模型动态校验的优点,然后提出UML状态图与Petri网模型的映射算法,建立映射流程。最后通过实例验证这种方法可以有效支持概念模型的动态校验。
林琪谢连宝
关键词：PETRI网映射
全选 清除 导出
共1页<1>
聚类工具0