The following figure shows a design sequence diagram that describes a door with keycard access:

The following figure shows a sequence diagram for model analysis:

The following figures show some of the animated sequence diagrams used for black-box testing of the model, and the effects of setting the animation properties to different values.
The following figure shows the resultant animated sequence diagram when the Prototype1 instance line uses a mapping policy ObjectAndItsParts; the other two instance lines are set to SingleObject. The Prototype1 instance line reflects the messages for the CardReader, Keypad, EmployeeDatabase, and DoorController classes.

The following figure shows another view of the model (the instance line uses ObjectAndItsParts). Messages for other parts of the model are reflected on this instance line because the Prototype1 instance line can "see" them (because of the policy setting).
