A especificação de processos (PSPEC) em análise estruturada