Diagramas de sequencia e maquina de estados