Semantic Interoperability and Its Verification & Validation in C2 Systems
Wei‐Tek Tsai, Robin Paul, Hai Ping Huang, Bingnan Xiao, Yinong Chen · 2005
Abstract : 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.