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

Grammar Formal Method of Battle Management Language Based on Improved-BNF

作　　者：罗晨[1] 鲍广宇[1] 刘晓明[1] 袁黎苗 

机构地区：[1]解放军理工大学指挥自动化学院,南京210007 [2]南海舰队信息化处,湛江524001

出　　处：《计算机科学》2012年第4期189-192,209,共5页Computer Science

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

摘　　要：作战管理语言是一种旨在实现指控与仿真系统间无歧义通信的关键技术,有助于解决指控与仿真系统之间的互操作问题。首先阐述了作战管理语言的体系结构;然后通过比较分析形式化语法方法,并结合作战命令语言结构特点,提出了一种基于改进BNF的BML语法形式化描述方法;最后利用该方法对典型作战命令进行了语法形式化描述,并给出了具体实例。Battle management language（BML） is a critical technology which is used to realize unambiguous communication between C2 and MS systems,and it can help to solve the problems of the interoperation of C2 and MS systems.First the architecture of BML was discussed,and then different methods of formalization were compared.A grammar formal method of BML based on improved backus-naur form（IBNF） was proposed,finally,the grammars of typical orders were formalized with IBNF and specific examples were given.

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

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