论文部分内容阅读
动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向。论文提出了基于CPN的动态行为验证过程,论述了动态行为验证的主要内容,并应用CPN Tools对反导作战概念模型进行了动态行为验证,仿真结果表明概念模型是正确的。该方法可以提高模型校验的自动化水平,从而提高校验的效率和校验结果的可信性。
The verification of dynamic behavior has become the key and difficult point in checking the concept space of mission space. Unified Modeling Language (UML) is a semi-formal language, which makes it difficult to analyze and verify dynamic behavior. The concept of using Petri nets Formal verification of models is an important direction for the study of theory and method. The paper presents the process of dynamic behavior verification based on CPN, expounds the main contents of dynamic behavior verification, and verifies the dynamic behavior of the ABM conceptual model with CPN Tools. The simulation results show that the conceptual model is correct. This method can improve the automatization of model verification, so as to improve the efficiency of verification and the credibility of verification results.