Consistency Verification And Restriction Of System Architecture Design

Focusing on the consistency of system architecture design based on"DoDAF (Department of Defense Architecture Framework) 1.0", this thesis discusses the method to ensure the consistency which merges static restriction and dynamic verification, so that the system can achieve consistency in both static data and dynamic behavior. Then a case is illustrated to explain the significance of the method.Firstly, the thesis illustrates several common methods of system architecture design and several common modeling methods. It also introduces the main content and products of"DoDAF 1.0", and analyses the consistency problems of system architecture design. The consistency problems are divided into static aspect and dynamic aspect, and are solved separately in a process of system architecture design. The thesis uses static consistency restriction and verification based on integrated dictionary on static aspect. Integrated dictionary is based on the integrated dictionary product of"DoDAF 1.0"and integrates data dictionaries, relation dictionaries and products dictionaries which make integrated dictionary has the ability of static restriction and provide efficient restriction mechanism in the process of modeling. In the dynamic aspect, executable model is built through hierarchy colored Petri net. The executable model is based on activity model, rule model, and data model. Dynamic consistency between products is verified by simulating the executable model.Finally, the thesis illustrates a case system of protecting"A"island with the guidance of the method. Several products of the architecture of this system are designed. And then, the CPN executable model is generated and simulated with typical initial marking set. Estimating the result of simulating proves the consistency of this system. This case shows the significance and application steps of the method.