The main contribution of this paper is a formalism for definition of dynamic OOD models together with a dynamic medium, through which to work with the models. From a somewhat traditional point of view, the formalism may be thought of a dynamic modeling language. However, we have only formulated the language at a rather abstract level, corresponding to that of abstract syntax trees. The dynamic medium is realized by set of closely integrated tools, the main purpose of which is to support exploration and refinement of dynamic models.
As of February 1996 we have developed a simple prototype of the tools discussed above, and we are in the process of constructing an attractive browsing user interfaces to these.