UML活动图到时间Petri网的映射方法

• 作者: 李剑 顾炜 黄志球
• 来源期刊: 电子科技
• 学科: 工学
• 关键词: UML活动图 MARTE 时间Petri网
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 图像·编码与软件
• 页码范围: 105-108
• 分类号: TP316.2
• 字数: 2314字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-7820.2012.02.031

摘要

UML被广泛应用于嵌入式实时系统等领域的建模,而嵌入式实时系统对时间响应的要求非常严格,UML缺乏对系统时间约束的描述和形式化语义。因此,提出了一种结合MARTE与UML带有时间约束的UML活动图模型,并定义相应的映射规则,将该活动图模型映射到时间Petri网模型,最后通过实例验证了该映射方法的正确性和实用性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	李剑	南昌陆军学院作战指挥部	10	68	4.0	8.0
3	顾炜	南京航空航天大学计算机科学与技术学院	1	4	1.0	1.0