Una etiqueta de flecha que indica el mensaje enviado, sus argumentos y valores devueltos y la secuenciación del mensaje dentro de la interacción más grande (incluyendo llamada anidación, iteración, ramificación, concurrencia y sincronización).