基于改进BNF的作战管理语言语法形式化方法

摘要：

作战管理语言是一种旨在实现指控与仿真系统间无歧义通信的关键技术,有助于解决指控与仿真系统之间的互操作问题.首先阐述了作战管理语言的体系结构；然后通过比较分析形式化语法方法,并结合作战命令语言结构特点,提出了一种基于改进BNF的BML语法形式化描述方法；最后利用该方法对典型作战命令进行了语法形式化描述,并给出了具体实例.

关键词：作战管理语言、巴科斯范式、形式化

所属期刊栏目：39

分类号：TP391.9(计算技术、计算机技术)

资助基金：国家自然科学基金项目61174198

在线出版日期：2012-07-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：189-192,209