【摘要】 为对系统功能需求进行可视化仿真和验证,在对UML可视化建模工具Enterprise Architect中时序图模型的组成图形元素,以及可视化仿真与验证工具UPPAAL中时间自动机模型的组成图形元素进行深入分析后,对现有的时序图到时间自动机模型的转换算法进行改进并提出更加完善的算法,对转换后的时间自动机布局算法进行相关研究,实现从时序图模型到时间自动机模型的自动转换与布局。在实际领域的实验结果表明,改进后的算法能够对系统功能需求进行正确有效的可视化验证和仿真,提高了系统模型设计效率。更多还原

【Abstract】 To simulate and validate the system functions visually,after the in-depth analysis of graphic elements composition of timing diagram in Enterprise Architect(UML visual modeling tool)and timed automate in UPPAAL(visual simulation and verification tools),the existing transformation algorithm for transforming timing diagram to timed automata was improved and a more perfect transformation algorithm was proposed,the layout algorithm for transformed timed automata studied.The automatic transformation and layout from timing diagram model to timed automata model were realized.The experimental results in practical field show that the improved automatic transformation and layout algorithm can correctly and effectively validate and simulate the system functions visually,thus improving the design efficiency of the system model.更多还原