Uma especificação de controle, na análise estruturada, deve representar o comportamento do sistema por meio de diagrama de