基于可执行模型的DoDAF体系结构验证.pdf

《基于可执行模型的DoDAF体系结构验证.pdf》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、Vol.38，No.11火力与指挥控制第38卷第11期Nov，2013FireControl&CommandControl2013年11月文章编号：1002-0640（2013）11-0099-05基于可执行模型的DoDAF体系结构验证陈岩1，2，王红1，谭贤四1，李志淮1（1.空军预警学院，武汉430019；2.解放军93975部队，乌鲁木齐830005）摘要：针对DoDAF体系结构的验证问题，提出了基于xUM开发可执行模型及应用可执行模型验证体系结构的方法。首先，为了开发DoDAF体系结构的可执行模型，在分析DoDAF2.0体系结构模型特点的基础上，给出“状态转移描

2、述”模型的开发方法和步骤，并对活动图进行了可执行化改造。其次，在分析可执行体系结构验证内容的基础上，给出了基于xUML的可执行模型的验证方法和步骤。最后的实例验证了该方法的可行性和有效性。关键词：DoDAF2.0构架，可执行体系结构模型，体系结构验证，xUML，ASL中图分类号：TP302.1；N945.12文献标识码：AValidateDoDAFArchitectureBasedonExecutableModelChenYan1，2，WANGHong1，TANXian-si1，LIZhi-huai1（1.AirForceEarlyWarningAcademy，Wuha

3、n430019，China；2.Unit93975ofPLA，Urumchi830005，China）Abstract：Inthispaper，aimingattheissueofArchitecturevalidation，themethodofExecutablemodelwithxUMLisputforward，anditisusedtovalidatetheArchitecture.Firstly，fordesigningtheExecutablemodeloftheDoDAFArchitecture，thedesignmodelandstepofthe“sta

4、tetransferdescribe”modelandthemethodoftheactivitychartexecutablealterationareproposed.Secondly，thevalidationmethodandstepswiththeexecutablemodelbasedxUMLarepresented.Atlast，aexampleverifiesthefeasibilityandvalidityforthemethod.Keywords：DoDAF2.0framework，executablearchitecturemodel，archit

5、ecturevalidation，xUM，ASL证的一体化。应用xUML开发的可执行模型的核心引言模型是状态图。本文以状态图为可执行模型的核美国国防部体系结构框架（DoDAF）是当前使用心模型，以改造的可执行活动图为辅助模型，应用最广泛的体系结构构架，目前已经升级至2.0版［1］。xUML开发DoDAF2.0体系结构的可执行模型，实DoDAF2.0只给出了体系结构开发的核心思想以及现体系结构的仿真验证。从不同视角表示的模型，没有规定具体的开发和验1可执行模型的开发方法证方法。基于可执行模型的体系结构验证方法是比较科学的方法，针对此问题，文献［2-10］进行了一1.1基于

6、xUML的DoDAF2.0模型描述定的研究，但是对于体系结构验证限于非功能性验xUML的模型包括：时序图、用例图、交互图、类证，且是针对DoDAF早期版本，指导DoDAF2.0体的静态图以及状态图。体系结构模型从整体上分为系结构可执行模型的开发与验证的操作性不强。静态模型和动态模型，静态模型表示系统的结构、应用xUML［11-12］可以开发DoDAF体系结构模组织、信息连接等的逻辑关系；动态模型表示系统、型，重要的是所开发的体系结构模型是可执行模活动间的信息交换，反映系统的动态特性，只有将型，避免了模型转换的风险，实现了模型开发与验动态模型开发成可执行模型，在仿真执行过

7、程中，收稿日期：2012-08-17修回日期：2012-11-08作者简介：陈岩（1984-），男，黑龙江五常人，硕士研究生。研究方向：预警监视装备效能评估。··99（总第38-1916）火力与指挥控制2013年第11期系统的动态特征才会显现出来。用xUM开发的体系移提供逻辑规则。结构模型中，状态图通过状态和转移实现模型的执Step5开发OV-6b。利用以上的模型开发“状态行，它是可执行模型的核心，其他模型为其提供操转移模型”，使用行为语言定义状态上活动，本文使用动作规约语言ASL［11］（ActionSpecification作、信号、