Semantic Interoperability and Its Verification & Validation in C2 Systems

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 2005
Accession Number
ADA464119

Entities

People

  • Bingnan Xiao
  • Hai Huang
  • Robert Paul
  • W. T. Tsai
  • Yinong Chen

Organizations

  • Arizona State University

Tags

Communities of Interest

  • C4I
  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Aircraft Carriers
  • Application Software
  • Birds
  • Command And Control
  • Command Centers
  • Complex Systems
  • Computer Science
  • Control Systems
  • Department Of Defense
  • Engineering
  • Fighter Aircraft
  • Interoperability
  • Language
  • Robotics
  • System Of Systems
  • Validation
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Software Engineering.