| 基于改进BNF的作战管理语言语法形式化方法 |
| |
| 引用本文： | 罗晨,鲍广宇,刘晓明,袁黎苗.基于改进BNF的作战管理语言语法形式化方法[J].计算机科学,2012,39(4):189-192. |
| |
| 作者姓名： | 罗晨 鲍广宇 刘晓明 袁黎苗 |
| |
| 作者单位： | 1. 解放军理工大学指挥自动化学院 南京210007
2. 南海舰队信息化处 湛江524001 |
| |
| 摘 要： | 作战管理语言是一种旨在实现指控与仿真系统间无歧义通信的关键技术,有助于解决指控与仿真系统之间的互操作问题。首先阐述了作战管理语言的体系结构;然后通过比较分析形式化语法方法,并结合作战命令语言结构特点,提出了一种基于改进BNF的BML语法形式化描述方法;最后利用该方法对典型作战命令进行了语法形式化描述,并给出了具体实例。
|
| 关 键 词： | 作战管理语言 巴科斯范式 形式化 |
Grammar Formal Method of Battle Management Language Based on Improved-BNF |
| |
| LUO Chen
,
BAO Guang-yu
,
LIU Xiao-ming
,
YUAN Li-miao.Grammar Formal Method of Battle Management Language Based on Improved-BNF[J].Computer Science,2012,39(4):189-192. |
| |
| Authors: | LUO Chen BAO Guang-yu LIU Xiao-ming YUAN Li-miao |
| |
| Affiliation: | 2(Institute of Command Automation,PLA University of Science and Technology,Nanjing 210007,China)1(Informatization Section of South China Sea Fleet,Zhanjiang 524001,China)2 |
| |
| Abstract: | 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. |
| |
| Keywords: | Battle management language(I3ML) Backus-naur form(I3NF) Formalization |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
