Abstract:

The development of C⁴ISR (command, control, communication, computer, intelligence, surveillance and reconnaissance) systems architecture is often confronted with the inconsistency problem when multiview products are integrated into the architecture. A new solution which formalizes the key elements of viewpoint models of the architecture by introducing the description logic (DL) system is presented. The architecture models are transformed into the DL knowledge base, thus the conflicts or contradictions among architecture products can be found out by the DL reasoning system. Since the approach is based on a solid formalization theory and enables a highly automatic verification process, it is expected to completely resolve the consistency verification of the integrated architectures.