航天控制
航天控製
항천공제
AEROSPACE CONTROL
2012年
1期
54-58,65
,共6页
UML%任务空间概念模型%着色Petri网%动态行为验证
UML%任務空間概唸模型%著色Petri網%動態行為驗證
UML%임무공간개념모형%착색Petri망%동태행위험증
动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向.论文提出了基于CPN的动态行为验证过程,论述了动态行为验证的主要内容,并应用CPN Tools对反导作战概念模型进行了动态行为验证,仿真结果表明概念模型是正确的.该方法可以提高模型校验的自动化水平,从而提高校验的效率和校验结果的可信性.
動態行為的驗證已經成為任務空間概唸模型校驗的重點和難點,而統一建模語言(Unified Modeling Language,UML)是半形式化的語言,難以進行動態行為的分析和驗證,採用Petri網進行概唸模型形式化驗證是理論和方法研究的重要方嚮.論文提齣瞭基于CPN的動態行為驗證過程,論述瞭動態行為驗證的主要內容,併應用CPN Tools對反導作戰概唸模型進行瞭動態行為驗證,倣真結果錶明概唸模型是正確的.該方法可以提高模型校驗的自動化水平,從而提高校驗的效率和校驗結果的可信性.
동태행위적험증이경성위임무공간개념모형교험적중점화난점,이통일건모어언(Unified Modeling Language,UML)시반형식화적어언,난이진행동태행위적분석화험증,채용Petri망진행개념모형형식화험증시이론화방법연구적중요방향.논문제출료기우CPN적동태행위험증과정,논술료동태행위험증적주요내용,병응용CPN Tools대반도작전개념모형진행료동태행위험증,방진결과표명개념모형시정학적.해방법가이제고모형교험적자동화수평,종이제고교험적효솔화교험결과적가신성.
