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.

[1]  Patricia Adams,et al.  Programming Languages: Principles and Practice , 1993 .

[2]  Raymond A. Paul,et al.  Services-oriented dynamic reconfiguration framework for dependable distributed computing , 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..

[3]  Wei-Tek Tsai,et al.  Rapid scenario-based simulation and model checking for embedded systems , 2003, ICSE 2003.

[4]  Dong Wang,et al.  Extending WSDL to facilitate Web services testing , 2002, 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings..

[5]  John Lane,et al.  IEEE Standard Computer Dictionary: Compilation of IEEE Standard Computer Glossaries , 1991 .

[6]  Raymond A. Paul,et al.  Scenario-based modeling and its applications , 2002, Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002).

[7]  Raymond A. Paul,et al.  Verification of Web services using an enhanced UDDI server , 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..

[8]  Anthony A. Aaby,et al.  Introduction to Programming Languages , 2004 .

[9]  Wei-Tek Tsai,et al.  Scenario-Based Web Services Testing with Distributed Agents , 2003 .

[10]  Daryl Kulak,et al.  Use cases: requirements in context , 2000, SOEN.

[11]  Craig Larman,et al.  Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition) , 1997 .