摘 要：基于可扩展标记语言结构化、通用化等特点，文章在分析作战系统网络通信协议基本组成及描述、验证需求的基础上，开发了一种通用化的网络通信协议编辑软件，采用图形化人机界面的方式，方便用户快速进行作战系统网络通信协议的制定、编辑和描述，并通过 XSD 文件进行协议描述文件的格式校验，软件支持将描述的协议内容按照预定模板，自动生成通信协议文件，方便系统设计人员进行通信协议文件的编制和修改，提高了通信协议开发和维护的效率。
关键词：XML 结构化描述；XSD 格式校验；协议内容预览；协议文件生成
DOI:10.19850/j.cnki.2096-4706.2021.03.016
中图分类号：TN92 文献标识码：A 文章编号：2096-4706（2021）03-0057-04
Description and Verification Method and Implementation of Network Communication Protocol in Combat System
LI Jun，LI Fenggang，GAO Xingli
（Xi’an Fanhua Technology Development Co.，Ltd.，Xi’an 710075，China）
Abstract：Based on the characteristics of extensible markup language structure and generalization，based on the analysis of the basic composition，description and verification requirements of the combat system network communication protocol，a general network communication protocol editing software is developed. The graphical human-machine interface is adopted to facilitate the users to quickly formulate，edit and describe the network communication protocol of the combat system，the format of the protocol description file is verified by XSD file. The software supports the automatic generation of communication protocol file according to the protocol content described in the predetermined template. It is convenient for system designers to compile and modify the communication protocol files， and improve the efficiency of development and maintenance of communication protocol.
Keywords：XML structured description；XSD format verification；agreement content preview；protocol file generation
参考文献：
[1] 张锐，张璐璐，雷新峰，等 . 基于 XML 的安全协议形式 化描述方法 [J]. 军事通信技术，2009，30（1）：21-26.
[2] 李华，叶新铭，曾敏，等 . 基于 XML 的协议一致性测试 系统的设计与实现 [J]. 计算机科学，2006（10）：275-278.
[3] 刘昕鹏，罗英伟，汪小林，等 . 基于 XML 的 WebGIS 通 信协议的设计与实现 [J]. 软件学报，2004（6）：899-907.
[4] 王娜，王亚弟 . 安全协议的形式化说明、设计及验证 [J]. 计算机应用，2003（10）：42-45.
[5] 刘政，赵保华，屈玉贵 . 一种描述安全协议的形式化规范 语言 [J]. 小型微型计算机系统，2004（7）：1246-1249.
作者简介：李俊（1987.05—），男，汉族，陕西西安人，工 程师，本科，研究方向：装备测试、故障诊断、综合保障；李峰纲 （1979.07—），男，汉族，陕西西安人，工程师，本科，研究方向： 装备测试、故障诊断、综合保障；高兴利（1978.11—），男，汉族， 山西大同人，工程师，硕士，研究方向：装备测试、故障诊断、综 合保障。