Em análise estruturada, é a ferramenta que representa a especificação seqüencial do padrão de comportamento do sistema, levando o analista a avaliar possíveis falhas no comportamento especificado: