Interoperability, Composability, and Their Implications for Distributed Simulation: Towards Mathematical Foundations of Simulation Interoperability

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 sys...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications s. 3 - 9
Hlavný autor: Tolk, Andreas
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 01.10.2013
Predmet:
ISSN:1550-6525
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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. Composability 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 composability and provides the implications for verification and validation procedures, model-based approaches, and simulation interoperability standards.
ISSN:1550-6525
DOI:10.1109/DS-RT.2013.8