%0 Journal Article
%T 基于改进bnf的作战管理语言语法形式化方法
%A 罗晨
%A 鲍广宇
%A 刘晓明
%A 袁黎苗？
%J 计算机科学
%D 2012
%X 作战管理语言是一种旨在实现指控与仿真系统间无歧义通信的关键技术，有助于解决指控与仿真系统之间的互操作问题。首先阐述了作战管理语言的体系结构;然后通过比较分析形式化语法方法，并结合作战命令语言结构特点，提出了一种基于改进i3nf的i3mi.语法形式化描述方法;最后利用该方法对典型作战命令进行了语法形式化描述，并给出了具体实例。
%K 作战管理语言
%K 巴科斯范式
%K 形式化
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=120443&flag=1