-
题名基于可执行模型的DoDAF体系结构验证
被引量:3
- 1
-
-
作者
陈岩
王红
谭贤四
李志淮
-
机构
空军预警学院
解放军
-
出处
《火力与指挥控制》
CSCD
北大核心
2013年第11期99-103,共5页
-
文摘
针对DoDAF体系结构的验证问题,提出了基于xUM开发可执行模型及应用可执行模型验证体系结构的方法。首先,为了开发DoDAF体系结构的可执行模型,在分析DoDAF 2.0体系结构模型特点的基础上,给出"状态转移描述"模型的开发方法和步骤,并对活动图进行了可执行化改造。其次,在分析可执行体系结构验证内容的基础上,给出了基于xUML的可执行模型的验证方法和步骤。最后的实例验证了该方法的可行性和有效性。
-
关键词
DODAF
2
0构架
可执行体系结构模型
体系结构验证
XUML
ASL
-
Keywords
DoDAF 2.0 framework,executable architecture model,architecture validation,xUM,ASL
-
分类号
TP302.1
[自动化与计算机技术—计算机系统结构]
N945.12
[自然科学总论—系统科学]
-