Graphical animation of object-oriented software designs (abstract)