支持动态校验的概念模型映射算法

摘要：

提出将概念模型状态图描述转化为Petri网描述以支持动态行为校验,为此需要实现概念模型UML状态图与Petri网模型的映射算法.本文首先介绍概念模型动态行为描述方法的特点,并分析基于Petri网实现概念模型动态校验的优点,然后提出UML状态图与Petri网模型的映射算法,建立映射流程.最后通过实例验证这种方法可以有效支持概念模型的动态校验.

关键词： 概念模型 动态测试 特征映射 模拟仿真

作者: 林琪 谢连宝

作者单位: 装备学院航天指挥系,北京,101416

会议类型: 国内会议

会议名称: 2013年中国智能自动化会议

会议地点: 扬州

会议语种:中文

页码: 372-376

在线出版日期: 2013-08-01（万方平台首次上网日期，不代表论文的发表时间）