También aplicó diagramas de transición de estado para describir el flujo de mensajes entre los componentes.