论文部分内容阅读
为解决基于EBAT的团队仿真训练概念建模过程中,领域专家、训练专家和仿真专家之间有效沟通,以及提高概念模型质量和重用性等问题,基于建模要素分析,提出一种基于CMMS的仿真训练概念模型分层逻辑结构,以及概念模型形式化描述方法。基于工作流模式与团队训练的交互特征,提出事件因果关系模式及其形式化描述方法,并应用于事件响应过程描述。在此基础上,提出形式化概念模型的正确性校验规则。训练实例描述及校验验证了概念模型形式化描述及校验方法的有效性。