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

Validate DoDAF Architecture Based on Executable Model

针对DoDAF体系结构的验证问题,提出了基于xUM开发可执行模型及应用可执行模型验证体系结构的方法。首先,为了开发DoDAF体系结构的可执行模型,在分析DoDAF 2.0体系结构模型特点的基础上,给出"状态转移描述"模型的开发方法和步骤,并对活动图进行了可执行化改造。其次,在分析可执行体系结构验证内容的基础上,给出了基于xUML的可执行模型的验证方法和步骤。最后的实例验证了该方法的可行性和有效性。

In this paper, aiming at the issue of Architecture validation ,the method of Executable model with xUML is put forward,and it is used to validate the Architecture. Firstly,for designing the Executable model of the DoDAF Architecture,the design model and step of the ＂state transfer describe ＂model and the method of the activity chart executable aheration are proposed. Secondly,the validation method and steps with the executable model based xUML are presented. At last,a example verifies the feasibility and validity for the method.