基于MSDL和C-BML的想定形式化描述

被引：13

作者：

杨山亮

黄健

尹航

赵鑫业

机构：

[1] 国防科技大学机电工程与自动化学院

来源：

系统仿真学报 | 2011年 / 08期

关键词：

想定; MSDL; C-BML; 形式化描述;

D O I：

10.16182/j.cnki.joss.2011.08.005

中图分类号：

N945.12 [系统模型、系统建模];

学科分类号：

071102 ;

摘要：

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

引用

页码：1724 / 1728

页数：5

共 10 条

[1] 基于UML的作战任务规划和推演控制算法研究 [J].