基于UML的概念模型的Petri网映射算法研究

• 作者: 叶丽君 唐俊 张明清 桑海
• 来源期刊: 计算机仿真
• 学科: 地球科学
• 关键词: 概念模型 统一建模语言 时序图 映射
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 建模与验模
• 页码范围: 112-116
• 页数: 5页
• 分类号: TP391.9|N945.17
• 字数: 4175字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-9348.2009.03.029

摘要

概念模型的动态部分由于其复杂性不易通过阅读式的审查实施验证,针对采用统一建模语言(UML)描述的概念模型,通过UML时序图模型向Petri网模型的映射,可建立Petri网可执行模型,再对其进行验证.在深入分析UML时序图特点的基础上,针对已有映射方法存在的缺点,提出了基于消息的模型映射算法,并对时序图中的特殊结构(可选、条件、并行、循环),分别提出了其相应的映射算法,并验证了映射的正确性.方法有利于检查模型映射前后的一致性,同时具有可扩展的优点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张明清	信息工程大学电子技术学院	31	236	6.0	14.0
2	唐俊	信息工程大学电子技术学院	11	60	4.0	7.0
3	叶丽君	信息工程大学电子技术学院	1	6	1.0	1.0
4	桑海	信息工程大学电子技术学院	2	7	1.0	2.0