Simulation of an automatic banking system with the Ada programming language (abstract)

摘要

In a class of applications, a model exists in which calculations depend upon a fixed set of independent real model parameters, say V1, V2, …, Vn. Each of the V's is a function of auxiliary data. The model often has a large number of discrete states, characterized by a set of discrete state parameters S1, S2, …, Sm. To calculate any particular V, a different function (algorithm and auxiliary data) may be needed for each state; typically, however, a function is shared among some group of states. It is desirable that only one copy of each function exist. The state may change frequently. Moreover, the state parameters are usually not independent; for example, choosing a particular value for one S may restrict permitted values for other S's. In an interactive application, inconsistent choices must be detected.

rn

An application oriented framework is presented for supplying the application with the V's while efficiently reconfiguring the model as the S's are changed. The role of the S's and the details of calculating each V are hidden from the application. The framework is maintainable and, moreover, allows the system to be enhanced by the addition of new states. Finally, inconsistent choices among the state parameters can be easily detected.