메시지를 나타내는 화살표 라벨 전송, 인수 및 반환 값과 (호출 중첩, 반복, 분기, 동시성 및 동기화 포함) 하는 더 큰 상호 작용 내의 메시지 시퀀스.