In this paper, the term modeling is used in the context of software modeling, as in models of computer science entities implemented as programs (or program fragments) in some programming language. The extent to which model building is useful depends on the choice of programming language as well as the skill of the model builder. Since much of what we teach in computer science is based in part on mathematics it is useful for the modeling language to be a reasonable substitute for ordinary mathematical notation.
A good model building language should possess the following attributes: