A model that can be executed to simulate the behavior of the system it represents. Executable models are used for testing and validation before actual implementation, allowing for early detection of design flaws.