摘要
动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向。论文提出了基于CPN的动态行为验证过程,论述了动态行为验证的主要内容,并应用CPN Tools对反导作战概念模型进行了动态行为验证,仿真结果表明概念模型是正确的。该方法可以提高模型校验的自动化水平,从而提高校验的效率和校验结果的可信性。
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.
出处
《航天控制》
CSCD
北大核心
2012年第1期54-58,65,共6页
Aerospace Control
基金
陕西省自然科学基础研究计划项目资助(2007F40)
总装备部"十一五"武器装备预先研究项目(513040104)
