Toward a formalism of modeling and simulation using model theory |
| |
Authors: | Saikou Y. Diallo Jose J. Padilla Ross Gore Heber Herencia‐zapana Andreas Tolk |
| |
Affiliation: | 1. Virginia Modeling Analysis and Simulation Center, Old Dominion University 1030 University Blvd, Suffolk;2. National Institute of Aerospace, Virginia;3. Chief Scientist Simis Inc., Virginia |
| |
Abstract: | This article proposes a Modeling and Simulation (M&S) formalism using Model Theory. The article departs from the premise that M&S is the science that studies the nature of truth using models and simulations. Truth in models and simulations is relative as they seek to answer specific modeling questions. Consequently, truth in M&S is relative because every model is a purposeful abstraction of reality. We use Model Theory to express the proposed formalism because it is built from the premise that truth is relative. The proposed formalism allows us to: (1) deduce formal definitions and explanations of areas of study in M&S, including conceptual modeling, validity, and interoperability, and (2) gain insight into which tools can be used to semi‐automate validation and interoperation processes. © 2013 Wiley Periodicals, Inc. Complexity 19: 56–63, 2014 |
| |
Keywords: | modeling and simulation verification & validation |
|
|