The creation of a model from a conceptual model that can be mathematically analyzed, solved or simulated.