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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications S. 3 - 9
1. Verfasser: Tolk, Andreas
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 01.10.2013
Schlagworte:
Aggregates
composability
Computational modeling
Data models
federation
Interoperability
Mathematical model
model theory
Protocols
simulation standards
validity
ISSN:1550-6525
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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