杨春雷,赵 亮

(空军装备研究院通信所,北京 100085)

针对现有指挥信息系统之间互联、互通和互操作难度大等问题,不少文献提出加强系统顶层设计,特别是体系结构技术的研究,并利用以体系结构为核心的顶层设计技术对现有系统进行改造,指导新系统的设计开发。目前,体系结构已经从理论研究阶段过渡到了实际应用阶段,实践证明,体系结构对提高系统效能,实现一体化指挥信息系统有较强的支持作用[1]。体系结构验证能够检验现役指挥信息系统体系结构是否与现行的作战指挥体制相匹配,能否有利于当前的指挥决策,找出系统在体系结构上的不足,辅助指挥信息系统使用总体提出体系结构优化的需求和总体方案,确保高质量的体系结构设计。因而,体系结构验证技术是体系结构研究的重要组成部分,对指挥信息系统的建设具有重要的意义。

TAU[2]和SA[3]是IBM公司开发的UML软件建模验证和体系结构设计验证的工具软件。TAU以面向对象的开发方法进行 DODAF[4]体系结构建模,并支持体系结构部分产品的正确性验证;SA以ABM(Activity Based Method)方法为基础进行DODAF体系结构建模,并支持OV-6a(作战规则模型)的合理性验证分析。作为指挥信息系统顶层设计领域的两款优秀软件,很大程度上满足了体系结构验证的需求。

本文给出了体系结构验证的基本概念,重点从体系结构语法层、语义层、语用层三个层次提出了基于TAU和SA的体系结构验证方法,并以无人侦察机系统体系结构验证为例说明了方法的可行性和有效性。……