An arrow label that indicates the message sent, its arguments and return values, and the sequencing of the message within the larger interaction (including call nesting, iteration, branching, concurrency, and synchronization).