Incremental construction of dynamic models for object-oriented software systems

In the Unified Modeling Language (UML),1-3 sequence and statechart diagrams are used for behavioral modeling of OO software systems. This article discusses an iterative approach for raising the level of automation in constructing statechart diagrams. Sequence diagrams can be created by animating the interaction of objects through a set of statechart diagrams, and statechart diagrams can be synthesized automatically using sequence diagrams. By combining these existing techniques and using them iteratively, a powerful modeling tool can be achieved. These techniques are implemented in a tool called SCenario EDitor (SCED).