No gerenciamento de processos, a modelagem do estado futuro de um processo — TO BE — é realizada por