仿真系统概念模型验证方法的分析与选择

摘要

Conceptual model is the first abstract of the real world and the basic of the development of simulation system. Therefore, the conceptual model' s quality has important effect on the simulation system' s quality. The con-ceptual model' s validation is an important method for increasing conceptual model' s quality. In this paper, the con-ceptual model validation ( CMV) ' s definition, levels and contents were analyzed first. Then, the current main CMV' s methods were introduced, which were divided into the following four kinds; Expert Validation Method, Eclectic A-nalysis Method, Formalization Validation Method and Executive Validation Method. Finally, the selection problem of CMV method was studied in syntax, semantic and pragmatics, which may provide the reference for conceptual model Verifiers.%概念模型是对真实世界的第一层次抽象,足仿真系统开发的基础.概念模型的质量对于提高仿真系统的质量有着重要的影响,而概念模型验证是提高概念模型质量的重要手段.在对概念模型验证的定义、层次和内容进行分析的基础上,介绍了当前主要的四类概念模型验证方法,将其分为专家评审法,折衷分析法、形式化验证方法和可执行验证方法,并分析其优缺点,最后从语法、语义和语用三个层次出发,对概念模型验证方法的选择问题进行了探讨,其结果可以为概念模型验证人员提供理论参考.