Sequence diagrams (as execution trace)

Object 's states (eg. attributes' values) at each instant can be added to a sequence diagram.

Sample scenario