The representation of simulation models, especially those expressed in discrete event languages, by means of system-theoretic formalism is reviewed. The important concepts of decomposition, static and dynamic structure, and state variable selection are explained and their implications for the design of simulation software explored. The system-theoretic approach is compared with other approaches to model representation derived from general software development methodology. Both simulation software design and systems theory may benefit by the challenges each raises for the other.