%0 Journal Article
%T Grammar Formal Method of Battle Management Language Based on Improved-BNF<br>基于改进BNF的作战管理语言语法形式化方法
%A LUO Chen
%A BAO Guang-yu
%A LIU Xiao-ming
%A YUAN Li-miao
%A <br>罗晨
%A 鲍广宇
%A 刘晓明
%A 袁黎苗
%J 计算机科学
%D 2012
%I 
%X Battlc management languagc(13MI)is a critical technology which is used to realize unambiguous communica- lion between C2 and M& S systems, and it can help to solve the problems of the interoperation of C2 and Mc}.S sys- terns. First the architecture of I3ML was discussed, and then different methods of formalization were compared. A gram- mar formal method of BMI. based on improved backus-naur form(II3NF) was proposed,finally,the grammars of typical orders were formalized with II3NF and specific examples were given.
%K Battle management language(I3ML)
%K Backus-naur form(I3NF)
%K Formalization<br>作战管理语言
%K 巴科斯范式
%K 形式化
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=6CC4FADE9FC7EFEABFB01E4D8ECB3350&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=E158A972A605785F&sid=3A0155B37D8FF829&eid=C29816B2656377A7&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0