摘 要：针对体系结构视图产品在验证系统动态行为及状态转换等方面存在的不足，难以有效保证所建模型与具体军事需求的一致性，提出了基于 xUML 与 DODAF 的可执行体系结构建模及验证方法，分析了该方法的可行性与适用性，及其在验证系统动态行为方面的优势，给出了利用该方法进行建模的具体步骤。最后结合区域防空指挥信息系统开发实例，通过建模对该系统的部分动态行为进行了验证和分析，进一步证明了该方法的有效性。
关键词：可执行体系结构；体系结构验证；可执行统一建模语言；动作规约语言
DOI:10.19850/j.cnki.2096-4706.2023.05.006
中图分类号：TP399 文献标识码：A 文章编号：2096-4706（2023）05-0024-06
Research on Executable Architecture Modeling of Command Information System Based on xUML and DODAF
YANG Shuangze, ZHAO Youhua, ZHU Dan, CHEN Qihang
(Army Engineering University of PLA, Chongqing 400035, China)
Abstract: In view of the existing shortcomings of architecture view products in verifying system dynamic behavior and state transition, it is difficult to effectively ensure the consistency between the built model and specific military requirements, and an executable architecture modeling and verification method based on xUML (executable Unified Modeling Language) and DODAF (Department of Defense Architecture Framework) is proposed. The feasibility and applicability of this method and its advantages in verifying the dynamic behavior of the system are analyzed. The specific steps of modeling using this method are given. Finally, it combines the example of the development of regional air defense command information system, and verifies and analyzes some dynamic behaviors of the system by modeling, which further proves the effectiveness of the method.
Keywords: executable architecture; architecture validation; executable unified modeling language; action specification language
参考文献：
[1] C4ISR Architecture Working Group. C4ISR architecture framework version 2.0 [R]. Washington DC：US Department of Defense，1997.
[2] DoD Architecture Framework Working Group. DoD architecture framework version 2.0 Volume II：Architectural Data and Models [R].Washington DC：US Department of Defense，2009.
[3] 孔瑞远，肖桃顺，沈艳丽 . 军事信息系统体系结构验证方法综述 [J]. 工程研究 - 跨学科视野中的工程，2016，8（6）：605-613.
[4] 王立强，董剑，于海霞 . 基于可执行模型的复杂体系仿真验证研究 [C]//2019 全国仿真技术学术会 . 琼海：《计算机仿真》杂志社，2019：23-26+48.
[5] 刘正，张新强，王鸿飞，等 . 基于 DoDAF 的可执行模型改进方法 [J]. 指挥与控制学报，2016，2（2）：121-128.
[6] 林文祥，刘德生.网络信息体系信息流程挖掘方法研究 [J].指挥控制与仿真，2022，44（2）：108-115.
[7] 张洪源，王立强，龚博，等 . 基于混杂逻辑框架的复杂体系仿真验证研究 [C]//'21 全国仿真技术学术会议论文集 . 贵阳：《计算机仿真》杂志社，2021：226-229.
[8] 傅炯，罗爱民，罗雪山，等 . 基于 PES 的 Petri 网可执行模型生成方法 [J]. 系统工程与电子技术，2017，39（5）：1030-1035.
[9] 熊健，陈英武，王栋 . 武器装备体系结构可执行模型 [J].系统工程与电子技术，2010，32（5）：966-970.
[10] 刘俊先，罗雪山，罗爱民，等 . C4ISR 体系结构验证评估 [J]. 指挥与控制学报，2016，2（2）：129-133.
[11] 姜志平 . 基于 CADM 的 C4ISR 系统体系结构验证方法及关键技术研究 [D]. 长沙：国防科学技术大学，2007.
[12] 王新尧，曹云峰，孙厚俊，等 . 基于 DoDAF 的有人 /无人机协同作战体系结构建模 [J]. 系统工程与电子技术，2020，42（10）：2265-2274.
[13] 朱连军，张熙迪，张涛 . 基于 DoDAF 的陆军装备维修保障业务架构研究 [J]. 装甲兵工程学院学报，2018，32（4）：1-6.
[14] 李大喜，张强，李小喜，等 . 基于 DoDAF 的空基反导装备体系结构建模 [J]. 系统工程与电子技术，2017，39（5）：1036-1041.
作者简介：杨双泽（1994—），男，汉族，贵州修文人，硕士在读，研究方向：自组网应用、效能评估；赵有华（1973—），男，汉族，重庆市人，硕士研究生导师，副教授，研究方向：无线通信技术与应用；朱丹（1989—），女，汉族，江苏南通人，硕士在读，研究方向：无线通信技术与应用；陈启航（1993—），男，汉族，山东青岛人，硕士在读，研究方向：自组网应用。