概念模型验证方法研究综述

概念模型验证是保证和提高仿真可信性的重要手段，是建模与仿真VV＆A中的重点和难点．首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类，并提出了一种基于本体推理的概念模型验证方法，然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结，明确了各种方法的优缺点和适用范围，为如何选用各种验证方法提供参考，也明确了下一步应重点研究的问题．

Overview Research of Conceptual Models Validation Methods

Conceptual model validation is an important measure to guarantee and increase the simu- lation creditability. It is also an important and difficult problem in the modeling and simulation VV~A domain. In this paper, the conceptual model validation methods are classified into four cat- egories：informal, static, dynamic and formal validation methods and an conceptual model valida- tion based on ontology is proposed. Then the basic idea, basic principle, basic process, appropriate object,advantages and disadvantages of all kinds of validation methods are analyzed and summa- rized to clarify the advantages, disadvantages and appropriate scope of the validation methods. This provides reference for dhoosing validation method and set out the problems that need more research in the future.