Accession Number:

ADA464119

Title:

Semantic Interoperability and Its Verification & Validation in C2 Systems

Descriptive Note:

Conference paper

Corporate Author:

ARIZONA STATE UNIV TEMPE DEPT OF COMPUTER SCIENCE

Report Date:

2005-06-01

Pagination or Media Count:

61.0

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems Management and Standards
  • Command, Control and Communications Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE