From Conceptual Structures to Semantic Interoperability of Content
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
The Engineering Design of Systems: Models and Methods
The Engineering Design of Systems: Models and Methods
Engineering Principles of Combat Modeling and Distributed Simulation
Engineering Principles of Combat Modeling and Distributed Simulation
MDD4MS: a model driven development framework for modeling and simulation
Proceedings of the 2011 Summer Computer Simulation Conference
Hi-index | 0.00 |
Interoperability is generally defined as the ability to exchange data and to make use of these data within the receiving system. For information technology systems this definition makes perfect sense, as the exchange of data via common protocols in a shared infrastructure is the only way to make systems work with each other. For simulation systems, however, the exchange and use of data is necessary, but not sufficient. Simulation systems execute models, which represent purposeful abstractions and simplifications of a task-oriented reality. Meaningful interoperation of two systems requires the alignment of concepts represented in the underlying models. Compos ability ensures the alignment of these concepts by ensuring the consistent representation of interpretations of truth among all participating systems. The presented work uses a branch of mathematics called model theory to investigate definitions of interoperability and compos ability and provides the implications for verification and validation procedures, model-based approaches, and simulation interoperability standards.