Abstract:

To tackle difficulties of C4ISR architecture verification caused by the low efficiency and reusability in the executable model’s construction, and to realize the automatic transformation of the executable model by implementing data-centric architecture methodology, a method for the construction of the executable model based on model transformation is proposed. According to the international defense enterprise architecture specification (IDEAS), the operational architecture meta-model is constructed. Mapping relations from architecture meta-model data elements to the core modeling concepts of object Petri-net (OPN) language are studied, and the transformation rules from meta-model data to OPN semantic representation under several work-flow patterns are also presented. To verify the feasibility of this method, a case of air defense C4ISR architecture is given.