| 基于UML的任务空间概念模型动态行为验证研究 |
| |
| 引用本文： | 高江林,吴晓燕.基于UML的任务空间概念模型动态行为验证研究[J].航天控制,2012,30(1):54-58,65. |
| |
| 作者姓名： | 高江林 吴晓燕 |
| |
| 作者单位： | 空军工程大学导弹学院,陕西三原,713800 |
| |
| 基金项目： | 陕西省自然科学基础研究计划项目，总装备部"十一五"武器装备预先研究项目 |
| |
| 摘 要： | 动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向.论文提出了基于CPN的动态行为验证过程,论述了动态行为验证的主要内容,并应用CPN Tools对反导作战概念模型进行了动态行为验证,仿真结果表明概念模型是正确的.该方法可以提高模型校验的自动化水平,从而提高校验的效率和校验结果的可信性.
|
| 关 键 词： | UML 任务空间概念模型 着色Petri网 动态行为验证 |
The Validation of CMMS Dynamic Behavior Based on UML |
| |
| GAO Jianglin
,
WU Xiaoyan.The Validation of CMMS Dynamic Behavior Based on UML[J].Aerospace Control,2012,30(1):54-58,65. |
| |
| Authors: | GAO Jianglin WU Xiaoyan |
| |
| Institution: | Missile Institute of AFEU,Sanyuan Shanxi 713800,China |
| |
| Abstract: | Due to the difficulty of validating the dynamic behavior of conceptual model of mission space,UML does not have many methods to solve it as an semi-formalized language.Nowadays,the Petri-nets are used for formalization analysis and validation in theory research.The process of dynamic validation based on CPN is given,and the main content is discussed.The dynamic behavior of anti-missile conceptual model is validated,which is based on CPN tools.The simulation results show the model is feasible.The robotization of validation can be enhanced by using this method,and the efficiency of validation and the creditability of results are improved. |
| |
| Keywords: | UML CMMS CPN Validation of dynamic behavior |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
