陈浩然 朱巍

摘 要：应急通信网保障形式化描述对于应急通信网保障方案制定和应急通信网保障力量的组织运用评估验证具有重要意义。文章分析了应急通信网保障形式化描述策略，提出了一种基于MSDL的形式化描述方法，为应急通信网保障的形式化描述提供了一定的参考。

关键词：MSDL;应急通信网;形式化描述

0    引言

应急通信具有较强的突发性和不确定性，在自然灾害、公共安全等突发紧急情况下，迅速高效地建立应急通信网愈加重要。为更好地为各类应急行动提供通信保障，便于对应急通信网进行模拟仿真和评估验证，应急通信网保障形式化描述方法研究就显得尤为必要和紧迫。本文研究分析了应急通信网保障的描述策略，并基于对MSDL语言的理解，提出了一种基于MSDL的想定形式化描述方法。

1    应急通信网保障形式化描述策略

为了对应急通信网保障进行更为合理准确地模拟和仿真，就需要对应急通信网进行形式化的描述。当前，形式化描述主要有基于EATI思想的描述方法、基于C-BML（联合战场管理语言）的描述方法和基于MSDL（军事想定定义语言）的描述方法等。

应急通信网保障形式化描述不仅要对保障环境和保障背景进行描述，也需要对保障行动和组织等内容进行描述。其中，基于XML Schema（可扩展标记语言架构）的MSDL语言具有较好的扩展性，且与应用系统间松耦合，便于与仿真系统进行交互，是兼容性较好也是使用最广泛的描述语言，能够更为全面地对应急通信网保障进行描述，同时提高描述数据的重用性和相应仿真系统的互操作性[1]。……