Conclusions
Experiments with RISCSIM within PERMABASE have shown that:
- the combination of many small models on the basis of object configuration is easy to understand and to generate;
- when checking outline designs for serious problems, a high degree of reuse of supporting models can be achieved;
- the combination of configuration and dynamic binding styles makes the system flexible;
- most designers produce designs which are far from complete in behavioural terms.