联邦概念模型及其VV&A研究  

A Study of Federation Conceptual Model and VV&A

作　　者：杨惠珍[1] 李家宽[1] 康凤举[1] 

机构地区：[1]西北工业大学航海学院,陕西西安710072

出　　处：《计算机仿真》2009年第7期109-112,共4页Computer Simulation

基　　金：西北工业大学翱翔之星计划资助(51448080105ZS601)

摘　　要：联邦概念模型(FCM)是联邦设计和开发的基础,对联邦概念模型进行VV&A有助于提高模型可重用性和互操作性。由于FCM中定性描述多于定量描述,不利于VV&A结果的客观性,而形式化方法是解决上述问题的重要途径。总结了国内外在概念模型的定义、建模方法以及模型形式化描述等方面的主要研究观点,讨论了HLA联邦概念模型开发过程及其完整性、正确性和一致性问题,阐述了FCM的VV&A过程和技术,介绍了有利于减少VV&A结果的主观性的基于模糊AHP的专家评审法和基于时态逻辑的形式化校核方法,最后讨论了形式化方法在联邦概念模型VV&A中的应用。Federation Conceptual Model （FCM） is the basis for designing and developing the federation, and a verified and validated FCM is important to improve the reusability and interoperability. The results of VV＆A are probably more subjective because of more qualitative description in FCM. However, formal methods are intended to decline subjectivity of VV＆A. In this paper, the main viewpoints on defining and modeling of conceptual models are introduced. The integrality, validity and consistency of FCM in the modeling process and VV＆A process of FCM are discussed. Then, the paper presents an expert evaluation method based on fuzzy AHP and a formal verification method based on temporal logic which are suitable for decreasing subjective factor affecting results. Finally, why formal verification method should be applied to the FCM is discussed.

关 键 词：联邦概念模型 校核 验证与确认 模糊层次分析法 形式化校核 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术] TP15[自动化与计算机技术—计算机科学与技术]