Algorithmic information theory
Algorithmic information theory
Information-Theoretic Limitations of Formal Systems
Journal of the ACM (JACM)
Theory of Modeling and Simulation
Theory of Modeling and Simulation
From domain ontologies to modeling ontologies to executable simulation models
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Proceedings of the 2008 Spring simulation multiconference
Modeling & Simulation-Based Data Engineering: Introducing Pragmatics into Ontologies for Net-Centric Information Exchange
Applying methods of the M&S spectrum for complex systems engineering
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Science in the Age of Computer Simulation
Science in the Age of Computer Simulation
Information-theoretic computation complexity
IEEE Transactions on Information Theory
Model theoretic implications for agent languages in support of interoperability and composability
Proceedings of the Winter Simulation Conference
Ontology for modeling and simulation
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
Semiotics identifies which symbols are used (syntax), what the meaning of these symbols is (semantics), and what the intention of using symbols is (pragmatics). These ideas have already been mapped to integratability of networks, interoperability of simulations, and composability of models for modeling and simulation applications. New research on model theory and algorithmic information theory support this viewpoint. Applying the finding of mathematics allows to define three different entropies: syntactical entropy that measures the variety of data representation, semantic entropy that measures the variety of data interpretation, and pragmatic entropy that measures the variety of data utilization. The paper shows the interconnection between these ideas and their implication for interoperability challenges: standards are needed on all levels to ensure meaningful interoperation, but their application reduces the interoperability space of federated solutions to the intersection of models, not to the union of models as often assumed in naïve approaches.