首页> 中文会议>2013年中国智能自动化会议 >支持动态校验的概念模型映射算法

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《2013年中国智能自动化会议》|2013年|372-376|共5页
会议地点扬州
作者
LIN Qi; 林琪; XIE Lianbao; 谢连宝;
展开▼
作者单位

中国自动化学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类专用应用软件;
关键词
概念模型; 动态测试; 特征映射; 模拟仿真;
入库时间 2022-08-17 11:27:06

相似文献

中文文献
外文文献
专利

1. 支持动态校验的概念模型映射算法 [J] . 林琪 ,谢连宝 . 中南大学学报：自然科学版 . 2013,第S2期
2. 基于UML的概念模型的Petri网映射算法研究 [J] . 叶丽君 ,桑海 ,张明清 . 计算机仿真 . 2009,第003期
3. 武器装备体系对抗仿真概念模型校验研究 [J] . 陈小阳 ,邢继娟 . 军事运筹与系统工程 . 2013,第003期
4. 基于动态规划的服务功能链映射算法 [J] . 袁绍露 ,张向利 . 现代计算机（专业版） . 2021,第028期
5. 一种基于改进动态规划思路的众核软件映射算法 [J] . 覃志东 ,冯莹 ,肖芳雄 . 成都大学学报（自然科学版） . 2021,第003期
6. 支持NGN业务开放的安全服务平台概念模型 [C] . 邹华 ,杨放春 . 2006年全国通信软件学术会议 . 2006
7. 高动态范围图像色调映射算法的研究 [A] . 苗笛声 . 2020

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

摘要

著录项

相似文献

相关主题

期刊订阅