Viewing animated sequence diagrams