基于CMMS的团队仿真训练形式化概念建模  

Research on CMMS-based Formal Conceptual Modeling of Team Simulation and Training

作　　者：王剑[1,2,3] 王红卫[1,2,3] 

机构地区：[1]华中科技大学系统工程研究所,武汉430074 [2]国家国民经济动员仿真演练研究中心,武汉430074 [3]"图像信息处理与智能控制"教育部重点实验室,武汉430074

出　　处：《系统仿真学报》2011年第2期339-345,共7页Journal of System Simulation

基　　金：国家基金重点项目(90924301);科技部"十一五"国家科技支撑计划课题(2008BAB29B07-2)

摘　　要：为解决基于EBAT的团队仿真训练概念建模过程中,领域专家、训练专家和仿真专家之间有效沟通,以及提高概念模型质量和重用性等问题,基于建模要素分析,提出一种基于CMMS的仿真训练概念模型分层逻辑结构,以及概念模型形式化描述方法。基于工作流模式与团队训练的交互特征,提出事件因果关系模式及其形式化描述方法,并应用于事件响应过程描述。在此基础上,提出形式化概念模型的正确性校验规则。训练实例描述及校验验证了概念模型形式化描述及校验方法的有效性。In order to solve the problem of effective communication between subject matter experts,training specialists and simulation technologists,and the problem of conceptual modeling quality and reuse,for the conceptual modeling of simulation and training based on EBAT（Event-Based Approach to Training）,a layered logical structure of the simulation and training conceptual model based on CMMS（Conceptual Model of the Mission Space） and a formal description approach were proposed on the basis of analyzing modeling elements of team training.Based on the workflow patterns and interactive features of team training,the event causality patterns and formal description approach were proposed for the event response process.Then,the verification rules for the conceptual model were proposed.The validity of the proposed formal conceptual modeling and verification approaches were proved by the formal conceptual modeling of training cases.

关 键 词：团队 仿真训练 EBAT 概念建模 CMMS 工作流模式 

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