| UML活动图到时间Petri网的映射方法 |
| |
| 引用本文： | 顾炜,黄志球,李剑.UML活动图到时间Petri网的映射方法[J].电子科技,2012,25(2):105-108. |
| |
| 作者姓名： | 顾炜 黄志球 李剑 |
| |
| 作者单位： | (1.南京航空航天大学 计算机科学与技术学院,江苏 南京 210016;2.南昌陆军学院 作战指挥部,江西 南昌 330103) |
| |
| 摘 要： | UML被广泛应用于嵌入式实时系统等领域的建模,而嵌入式实时系统对时间响应的要求非常严格,UML缺乏对系统时间约束的描述和形式化语义。因此,提出了一种结合MARTE与UML带有时间约束的UML活动图模型,并定义相应的映射规则,将该活动图模型映射到时间Petri 网模型,最后通过实例验证了该映射方法的正确性和实用性。
|
| 关 键 词： | UML活动图 MARTE 时间Petri网 |
Research on Mapping UML Activity Diagram to Time Petri-Net |
| |
| GU Wei,HUANG Zhiqiu,LI Jian.Research on Mapping UML Activity Diagram to Time Petri-Net[J].Electronic Science and Technology,2012,25(2):105-108. |
| |
| Authors: | GU Wei HUANG Zhiqiu LI Jian |
| |
| Affiliation: | (1.School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China;
2.Operations Command,Nanchang Institute of Army,Nanchang 330103,China) |
| |
| Abstract: | |
| |
| Keywords: | UML activity diagram MARTE time Petri-Nets |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子科技》浏览原始摘要信息 |
|
点击此处可从《电子科技》下载全文 |
|
