论文部分内容阅读
作战想定的形式化描述是将概念模型转化为计算机可以识别的数据形式，统一的形式化标准对提高想定的可重用性以及作战领域的互操作性具有重要意义。首先，简单介绍了军事想定定义语言MSDL和联合作战管理语言C-BML，然后提出了一种基于MSDL和C-BML的想定形式化描述方法，为我军形成规范的作战想定描述提供一定的参考价值，最后采用这种描述方法开发实现了一个想定生成系统。