10.3969/j.issn.1006-9348.2009.07.028
联邦概念模型及其VV&A研究
联邦概念模型(FCM)是联邦设计和开发的基础,对联邦概念模型进行VV&A有助于提高模型可重用性和互操作性.由于FCM中定性描述多于定量描述,不利于VV&A结果的客观性,而形式化方法是解决上述问题的重要途径.总结了国内外在概念模型的定义、建模方法以及模型形式化描述等方面的主要研究观点,讨论了HLA联邦概念模型开发过程及其完整性、正确性和一致性问题,阐述了FCM的VV&A过程和技术,介绍了有利于减少VV&A结果的主观性的基于模糊AHP的专家评审法和基于时态逻辑的形式化校核方法,最后讨论了形式化方法在联邦概念模型VV&A中的应用.
联邦概念模型、校核、验证与确认、模糊层次分析法、形式化校核
26
TP391.9;TP15(计算技术、计算机技术)
西北工业大学翱翔之星计划资助51448000105Z601
2009-10-16(万方平台首次上网日期,不代表论文的发表时间)
共4页
109-112