In section 2 we introduced the notion of a dynamic exploration tool. A dynamic exploration tool is seen as a medium on which to define, analyze and experiment with a dynamic object model. In this section we will describe the properties of the first version of a dynamic exploration tool. But first we will describe a particular abstract execution model, which we have developed, and on which the tool is based. Again, the abstract execution model is a first version, which is likely to change when we get some experience with it's use in a dynamic exploration tool.
As the starting point we decide that the first version
of the dynamic model should be
based on scenarios rather than high level programs (see the discussion
of these concepts in the previous section). A scenario is a fixed
sample execution without any actual dynamics
. Chosing the
scenario approach gives us more freedom to introduce informal
aspects in the model. Such aspects cannot easily be
simulated in ``automatic execution'' of high level programs.