10.16208/j.issn1000-7024.2017.08.028
时序图到时间自动机自动转换与布局算法
为对系统功能需求进行可视化仿真和验证,在对UML可视化建模工具Enterprise Architect中时序图模型的组成图形元素,以及可视化仿真与验证工具UPPAAL中时间自动机模型的组成图形元素进行深入分析后,对现有的时序图到时间自动机模型的转换算法进行改进并提出更加完善的算法,对转换后的时间自动机布局算法进行相关研究,实现从时序图模型到时间自动机模型的自动转换与布局.在实际领域的实验结果表明,改进后的算法能够对系统功能需求进行正确有效的可视化验证和仿真,提高了系统模型设计效率.
时序图模型、时间自动机模型、可视化建模、可视化仿真与验证、转换算法、自动布局算法
38
TP311.5(计算技术、计算机技术)
武器装备预研基金项目9140A15040214DZ04221;国防基础科研计划基金项目JCKY2013415C001;国防技术基础科研计划基金项目JSZL2014415B002
2017-10-30(万方平台首次上网日期,不代表论文的发表时间)
共8页
2142-2149