Sobre o diagrama de transição de estados da UML, é correta a afirmação de que ele