An application with UML Object-based Petri Nets for C4ISR architecture simulation validation

Architecture validation plays an important role in military command and control system design. The paper applies some kinds of views of UML (Unified Modeling Language) to describe the relative C4ISR (Command, Control, Communication, Computer, Intelligence, Surveillance and Reconnaissance) architecture products. Considering the relationship among the products, the architecture products modeling in UML diagram is transformed to the executable OPN (Object-based Petri Nets) models based on the transformation rules. It shows the process of OPN mechanisms application for the C4ISR system design validation. Finally, the paper gives one system validation example in the air defense system using the proposed validation method. Through analyzing model execution process and result, the performance of C4ISR system can be tested.