The activity of modelling proceeds by successive rounds of constructing abstract representations of reality and testing them against real world data. Since the testing is a comparison of behavior generated by the model with behavior observed for the modelled real system, it cannot directly validate the model structure, i.e., its claim as to how the real system works. This raises a central issue in modelling: is it possible to ascertain, even allowing an infinite comparison of behavioral data, that a model truly represents the mechanism underlying a real behavior?
To consider this issue, along with others of a similar fundamental nature, theories of modelling and simulation are being developed ([1], [2], 19]). The author's theory ([8], [9], [10]) consists of a set of postulates about the objects and activities involved in the modelling enterprise (a model of modelling) phrased within the theory of systems ([3], [5], [6], [7]) and employs the tools of the latter to consider such issues as the structural inference one mentioned above.