También impuso el uso de diagramas de estado de transición para describir los flujos de mensajes entre los componentes.