Each sequence diagram explicitly shows a legal sequence of messages in the order in which they occur ... This notational shorthand is useful and also provides a place to hook into a testing ...