Formal Models and Game Design

In this article results from mathematics are used to create a formalism for games. Games are considered as systems and the design of games as the creation of models for games. By abstract control systems, a formalism for describing models of games is introduced. Methods to create new models from given ones are described. To handle complexity problems in game design, simulations of models by other models are explained.