基于xUML与DODAF的指挥信息系统可执行体系结构建模研究  

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)

机构地区：[1]中国人民解放军陆军工程大学,重庆400035

出　　处：《现代信息科技》2023年第5期24-29,共6页Modern Information Technology

摘　　要：针对体系结构视图产品在验证系统动态行为及状态转换等方面存在的不足,难以有效保证所建模型与具体军事需求的一致性,提出了基于xUML与DODAF的可执行体系结构建模及验证方法,分析了该方法的可行性与适用性,及其在验证系统动态行为方面的优势,给出了利用该方法进行建模的具体步骤。最后结合区域防空指挥信息系统开发实例,通过建模对该系统的部分动态行为进行了验证和分析,进一步证明了该方法的有效性。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.

关 键 词：可执行体系结构 体系结构验证 可执行统一建模语言 动作规约语言 

分 类 号：TP399[自动化与计算机技术—计算机应用技术]