Definition
An Executable Model is the implemented version of a Conceptual Model that can be run on a computer. it is typically a computer program (written in languages like C, Java, or using specialized tools like Arena or SimPack) that produces results by simulating the behavior of a Simuland over time.
Why It Matters
An executable model is the “working map” that transforms static theory into a dynamic process for empirical testing. It is the implemented realization of an abstraction that allows us to observe complex behaviors and conduct “what-if” analyses, bridging the gap between a conceptual idea and verified results.
Core Concepts
- Implementation: The process of translating the mathematical equations, flowcharts, and logic of the conceptual model into code.
- Inputs: The data or parameters provided to the model to define the starting state or external influences.
- Outputs/Results: The data produced by the model during or at the end of the simulation (e.g., statistics, 3D graphics).
- Verification Target: The executable model is verified by comparing its behavior and code against the conceptual model’s specifications.
- Execution Modes: Can run in Synchronous (synchronized with a real-time clock) or Asynchronous (as fast as the processor allows) modes.