Abstract:

When using UML to analyze C⁴ISR capability requirements, the behavioral models are difficult to verify. To solve the problem, an approach to C⁴ISR system capability requirements behavioral modeling and verification is proposed. First, the capability behavioral metamodel is modeled by extending unified modeling language (UML) metamodel according to the C⁴ISR capability concept metamodel. Then the behavioral models are modeled by the capability behavioral metamodel. To verify whether the behavioral models conform to the restriction of capability concept metamodel, behavioral metamodel and domain rules, the behavioral models are translated into OWL-DL ontology and DL-Safe rules, and then some rules are defined, which are used to reason and query the ontology for behavioral models verifying.