No contexto de modelagem de software e padronização de artefatos, considere um sistema de biblioteca digital que precisa documentar a interação entre um estudante e o sistema durante o processo de empréstimo de livro. Considerando a UML (Unified Modeling Language) como padrão de notação, qual diagrama seria mais adequado para representar a sequência temporal das mensagens trocadas neste processo?