A relação entre o mapeamento de processos e a modelização no contexto da gestão do conhecimento: estudo de caso aplicado em uma biblioteca digital