No processo de auditoria operacional do Tribunal de Contas da União, uma das metodologias utilizadas para apresentação dos dados coletados, são modelos analíticos. Assim, o modelo de Marco Lógico