Modelo de Verificação de Processos de Negócio através de uma Máquiva Virtual Pi-Calculus Documento