área de pesquisa Gleison Samuel do Nascimento Um Método para Descoberta Semi-Automática de Processos de Negócio Codificados em Sistemas Legados.