Semantic Interoperability and Its Verification & Validation in C2 Systems

摘要

Interoperability is a critical issue for DoD C2 systems. Current research has mostly focused on the data interoperability and ontology of context. While these studies are important and useful, they have not addressed other important issues on semantic interoperability and its verification & validation. This paper proposes a new technique called use scenario, which specifies the workflow of passing parameters among different services or the semantics of interoperation. For a C2 system, once the use scenario is specified, a family of automated analysis, verification, and validation techniques is available for testing and evaluating the system and its interoperability.