Study of DoD Architecture Simulation Validation based on UML and Extended Colored Petri Nets

Department of defence architecture framework(DoDAF) is an important method to ensure the quality of system design. One way for DoD architecture validation and assess is to transform the DoD architecture products into executable models, then the performance of DoD architecture can be tested through analyzing model execution process and result. Based on the different advantage of UML(unified modelling language) and Petri nets, the paper applies some kinds of views in UML to describe the relative DoD architecture products. Considering the relationship among the products, the UML views for products are transformed into ECPN (extended colored Petri nets) simulation models according to the transformation rules. So the dynamic behavior of system can be displayed by those simulation model, and whether the time-order relation, information flow and system interface is reasonable, or the system function satisfies the military requirement , and the change of system state is correct, can be checked evidently. At last, the paper gives a case in the air defense system using simulation validation method proposed by it.