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.